A link to their binary analysis framework: <a href="https://github.com/angr/angr" rel="nofollow">https://github.com/angr/angr</a><p>> angr is a suite of python libraries that let you load a binary and do a lot of cool things to it:
Disassembly and intermediate-representation lifting;
Program instrumentation;
Symbolic execution;
Control-flow analysis;
Data-dependency analysis;
Value-set analysis (VSA)