Lists (16)
Starred repositories
Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers
A tiny educational decompiler that helps people understand how decompilation works.
A research decompiler implemented as a Binary Ninja plugin.
Instrumenting LLVM 14 to analyze function inlining transformations during compilation.
Cyber Reasoning Systems for Bug-Finding and Patching in Open Source Software
The infrastructure for the NDSS 2026 work Decompiling the Synergy
An extensible framework for program autotuning
Winners of the International Obfuscated C Code Contest
Public Source code Release of Theori's AIxCC AFC Submission
Buttercup finds and patches software vulnerabilities
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
LLM-powered system that discovered 62 zero-day vulnerabilities across 26 open source projects. 4th place, DARPA AIxCC.
Repeatable experiments for AsiaCCS 2021 paper
Static Value-Flow Analysis Framework for Source Code
BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more
QEMU setup for emulating satellite firmware for Hack-A-Sat final event
This is the source code for P2IM paper (accepted to Usenix Security'20)
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
OSS-Fuzz - continuous fuzzing for open source software.
A fuzzing framework for Hexagon baseband firmware using QEMU system emulation.
SHiFT: Semi-hosted Fuzz Testing for Embedded Applications
MultiFuzz: A Multi-stream Fuzzer For Testing Monolithic Firmware
Fuzzware's main repository. Start here to install.