angr API documentation¶
angr is a multi-architecture binary analysis platform, with the capability to perform dynamic symbolic execution (like Mayhem, KLEE, etc) and various static analyses on binaries.
Important note for reading these docs on the web: Autodoc has helpfully decided to link variable names to whatever it possibly can.
If you see a variable whose name is a link to something, the link is probably totally unhelpful.
Additionaly, if you see a type named lowercase
bool, and it is linked to the claripy types
Bool, this is an error.
The type should refer to the python primitive type.
angr— Analysis and Coordination
simuvex— Program State and Emulation
claripy— Solver Engine
cle— Binary Loader
pyvex— Binary Translator
archinfo— Arch Information Repository