AFLFast
An improved Greybox Fuzz testing tool built on AFL
Projects
AFLGo
A directed Greybox Fuzz testing tool built on AFL
AFLNet
A greybox fuzzer for network protocols
AFLSmart
Input-structure aware greybox fuzzing
Angelix
Semantic Program Repair tool
CPR
Concolic Program Repair tool
Ceramist
Verified hash-based approximate membership structures
Chronos
Worst-case Execution Time (WCET) Analysis for C programs
CoreBench
A set of benchmarks containing realistic regression errors
DiSeL
A framework for verification of distributed protocols in Coq
FixMorph
Automated repair of Linux code
KLEESpectre
A checker for Spectre vulnerabilities in programs using symbolic execution
RusSOL
Synthesis of Rust programs from types and lightweight specifications
SQLancer
A tool to automatically detect Logic Bugs in DBMS
Scilla
A functional language for safe smart contracts
SemFix
First semantic program repair tool
Sisyphus
Mostly automated proof repair for verified OCaml functions
SuSLik
Synthesis of Heap-Manipulating Programs from Separation Logic specifications
TimeMachine
Android app fuzz testing tool
Toychain
A Coq implementation of a minimalistic blockchain-based consensus protocol
VulnLoc
Vulnerability Localization in program binaries using fuzz testing
ego
An OCaml library that provides generic equality saturation using EGraphs
oo7
A checker for Spectre vulnerabilities in programs using taint analysis