/Triton

Pin-based concolic execution framework. It provides components like a taint engine, a dynamic symbolic execution engine, a snapshot engine, translation of x64 instructions into SMT2-LIB, a Z3 interface to solve constraints and Python bindings. Based on these components, you can build tools for automated reverse engineering.

Primary LanguageC++GNU Lesser General Public License v3.0LGPL-3.0

Watchers