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.
an efficient SMT solver library
PyQt/PySide Source Code Editor Widget
A module that multiplexes interactions with lists of python objects.
Some useful dict-like structures
An interface to the insides of IDA!
A compatibility layer for simuvex's removal.