An abstraction layer for constraint solvers
A multi-architecture binary analysis toolkit, with the ability to perform dynamic symbolic execution and various static analyses on binaries
GUI for angr
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.
The rop chain builder based off of angr
A compatibility layer for simuvex's removal.
A module that multiplexes interactions with lists of python objects.
pip package for afl
an efficient SMT solver library
Python wrapper for multiarch AFL
This is a python module that provides an interface to the iCTF team API.
A pip-installable set of qemus.
installation stub for z3-solver
deadbeef makes it easy to generate hexspeak!
Some useful dict-like structures
An interface to the insides of IDA!