Directed Greybox Fuzzing with AFL

Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.

Utilities for automated crash sample processing/analysis, easy afl-fuzz job management and corpus optimization

american fuzzy lop - a security-oriented fuzzer

Andersen's inclusion-based pointer analysis re-implementation in LLVM

Efficient Path Profiling using LLVM

DyninstAPI: Tools for binary instrumentation, analysis, and modification.

Reverse engineering framework in Python

DyninstAPI: Tools for binary instrumentation, analysis, and modification.

Release Branches for MoFlow

An AFL implementation with UnTracer (our coverage-guided tracer)