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||150053780112 months ago|
|triton-use-lib64-dir.patch||0000000575575 Bytes||150059768512 months ago|
|triton.spec||00000038513.76 KB||152986880121 days ago|