Triton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a dynamic taint engine, AST representations of the x86, x86-64, ARM32 and AArch64 Instructions Set Architecture (ISA), SMT simplification passes, an SMT solver interface and, the last but not least, Python bindings.
reverse-engineering
symbolic-execution
binary-analysis
instruction-semantics
program-analysis
taint-analysis
smt
binary-translation
-
Updated
Aug 24, 2020 - C++
See log output indicating missing instructions (logs are from running McSema on large x64 game binary):
E0615 16:25:29.556859 15732 Lifter.cpp:123] Missing semantics for instruction (AMD64 140b7f0c9 4 (BYTES f3 0f 52 dd) RSQRTSS_XMMss_XMMss (WRITE_OP (REG_128 XMM3)) (READ_OP (REG_128 XMM5)))
E0615 16:25:29.223357 15732 Lifter.cpp:123] Missing semantics for instruction (AMD64 140b7f7b0 3 (BYT