A Python interface to libVEX and VEX IR
CLE Loads Everything (at least, many binary formats!) and provides a pythonic interface to analyze what they are and what they would look like in memory.
An abstraction layer for constraint solvers
Target-centric program analysis.
The rop chain builder based off of angr
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.
Pwntools CTF framework and exploit development library.
A pip-installable set of qemus.
pip package for afl
Python wrapper for multiarch AFL