canliture's repositories
Awesome-Code-LLM
A curated list of language modeling researches for code and related datasets.
awesome-directed-fuzzing
A curated list of awesome directed fuzzing research papers
BinAbsInspector
BinAbsInspector: Vulnerability Scanner for Binaries
ccscanner
A C/C++ dependency scanner
clash-verge
A Clash GUI based on tauri. Supports Windows, macOS and Linux.
course_compiler
Course Webpage of SOFT130061 Compiler Principles and Techniques @ Fudan University
crab
A library for building abstract interpretation-based analyses
Creamplayer
🎵 QQ Netease Music Downloader
dai
DAI: Demanded Abstract Interpretation
ecnu-sa-labs
Lab sessions for the software analysis course at East China Normal University.
grammatech.github.io
GrammaTech Research on GitHub
JPlag
Token-Based Software Plagiarism Detection
klee
KLEEF Symbolic Execution Engine
linux-kernel-exploitation
A collection of links related to Linux kernel security and exploitation
NullAwayAnnotator
A tool to help adapting code bases to NullAway type system.
pharos
Automated static analysis tools for binary programs
pvslib
NASA PVS Library of Formal Developments
Simple
A Simple showcase for the Sea-of-Nodes compiler IR
SootUp
A new version of Soot with a completely overhauled architecture
sparrow-cg
A static analyzer for building callgraphs of C/C++ programs
SparseBoomerang
Sparse Demand-Driven Pointer Analysis
SVF
Static Value-Flow Analysis Framework for Source Code
the-book-of-modern-cpp
The Book of Modern C++