A Python interface to libVEX and VEX IR
An abstraction layer for constraint solvers
Target-centric program analysis.
Classes with architecture-specific information useful to other projects.
GUI for angr
A multi-architecture binary analysis toolkit, with the ability to perform dynamic symbolic execution and various static analyses on binaries
The angr intermediate language.
The rop chain builder based off of angr
Pwntools CTF framework and exploit development library.
A pip-installable set of qemus.
pip package for afl
Python wrapper for multiarch AFL