Triton dynamic binary analysis framework

really neat framework that lets you build program analysis tools, automate reverse engineering, and perform software verification.

From https://triton.quarkslab.com