angr

Next-generation binary analysis framework!