A link to their binary analysis framework: https://github.com/angr/angr

> 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)