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.
|Triton-0.5.tar.gz||00073162386.98 MB||15005378019 months ago|
|triton-use-lib64-dir.patch||0000000575575 Bytes||15005976859 months ago|
|triton.spec||00000038103.72 KB||15131409694 months ago|