The next-generation binary analysis platform from UC Santa Barbara's Seclab!
GUI for angr
installation stub for z3-solver
The rop chain builder based off of angr
An abstraction layer for constraint solvers
CLE Loads Everything (at least, may binary formats!) and provides a Pythonic interface to analyze what they are and what they would look like in memory.
Some useful dict-like structures
deadbeef makes it easy to generate hexspeak!
Python wrapper for multiarch AFL
This is a python module that provides an interface to the iCTF team API.
An interface to the insides of IDA!
A module that multiplexes interactions with lists of python objects.
A Python interface to libVEX and VEX IR.
pip package for afl
A pip-installable set of qemus.
A symbolic execution engine for the VEX IR
an efficient SMT solver library