Stars
CveBinarySheet: A Comprehensive Pre-built Binaries Database Focused on IoT Vulnerability Scenarios
LLMDFA: Analyzing Dataflow in Code with Large Language Models (NeurIPS 2024)
An autonomous LLM-agent for large-scale, repository-level code auditing
Automated Penetration Testing Agentic Framework Powered by Large Language Models
A fast and powerful gadget finder and ROP chain generator. A research prototype for the ropbot paper accepted at NDSS'26.
An automated static taint analysis tool for the Lua web framework.
Dependency-Guided Detection of Python Cryptographic API Misuses
static taint analysis with path. optimization
Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc
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!