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 instruction set semantics, SMT simplification passes, a SMT Solver Interface and, the last but not least, Python bindings. Based on these components, you are able to build program analysis tools, automate reverse engineering and perform software verification.

Refresh
Refresh
Source Files
Filename Size Changed Actions
Triton-0.6.tar.gz 0008743152 8.34 MB 9 months
triton-use-lib64-dir.patch 0000000575 575 Bytes 9 months
triton.spec 0000003544 3.46 KB 9 months
Comments for triton 0