A powerful and user-friendly binary analysis platform!

Documentation for the angr suite

The official angr GUI.

Use angr in Ghidra

Code and exercises for a workshop on z3 and angr

Driller: augmenting AFL with symbolic execution!

Shellphish's automated exploitation engine, originally created for the Cyber Grand Challenge.

Shellphish's automated patching engine, originally created for the Cyber Grand Challenge.

Documentation for the Mechanical Phish.

AFL, modified to support multi-CB challenge sets for CGC.

Semantic-aware exploit reconstruction techniques with meta fuzzer integration.

An abstraction layer for constraint solvers.

Python bindings for Valgrind's VEX IR.

CLE Loads Everything (at least, many binary formats!)