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.
Source Files
Filename | Size | Changed | Actions |
---|---|---|---|
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 | ![]() |