Stars
Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc
static taint analysis with path. optimization
A library for efficient similarity search and clustering of dense vectors.
Diaphora, the most advanced Free and Open Source program diffing tool.
Identifying Open-Source License Violation and 1-day Security Risk at Large Scale
⏰ Collaboratively track worldwide conference deadlines (Website, Python Cli, Wechat Applet) / If you find it useful, please star this project, thanks~
SAEG: Stateful Automatic Exploit Generation, an AEG framework for CGC / RHG and pwnable CTF challenges.
B2SFinder is a binary-to-source matching tool for OSS reuse detection on COTS software. This project contains the core code of B2SFinder without implementation about database and pipeline.
Approximate Nearest Neighbors in C++/Python optimized for memory usage and loading/saving to disk
the datasets and source code of the paper 《LibAM: An Area Matching Framework for Detecting Third-party Libraries in Binaries》
The hub for EleutherAI's work on interpretability and learning dynamics
An incremental parsing system for programming tools
Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...
Driller: augmenting AFL with symbolic execution!
Callisto - An Intelligent Binary Vulnerability Analysis Tool
QASan is a custom QEMU 3.1.1 that detects memory errors in the guest using AddressSanitizer.
A fork and successor of the Sulley Fuzzing Framework
SymQEMU: Compilation-based symbolic execution for binaries
QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing
Source code for paper 'Automatic Heap Layout Manipulation for Exploitation'
Accelerating Command Injection Vulnerability Discovery in Embedded Firmware with Static Backtracking Analysis