tmm08a / triton Goto Github PK
View Code? Open in Web Editor NEWThis project forked from jonathansalwan/triton
Triton is a dynamic binary analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a Taint Engine, an intermediate representation based on SMT2-Lib of the x86 and x86-64 instructions set, SMT simplification passes, an SMT Solver Interface and, the last but not least, Python bindings.
Home Page: http://triton.quarkslab.com
License: GNU Lesser General Public License v3.0