9 projects
pyvex
A Python interface to libVEX and VEX IR
cle
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.
claripy
An abstraction layer for constraint solvers
archr
Target-centric program analysis.
archinfo
Classes with architecture-specific information useful to other projects.
angr-management
GUI for angr
angr
A multi-architecture binary analysis toolkit, with the ability to perform dynamic symbolic execution and various static analyses on binaries
ailment
The angr intermediate language.
angrop
The rop chain builder based off of angr