stab1el / 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, AST representations of the x86 and the x86-64 instructions set semantics, SMT simplification passes, an SMT Solver Interface and, the last but not least, Python bindings.
Home Page: http://triton.quarkslab.com
License: Apache License 2.0