Triton

Triton is a dynamic binary analysis library that provides symbolic execution, taint analysis, and abstract syntax tree (AST) representations of program semantics for building custom program analysis tools. It lifts native instructions from x86, x64, ARM32, and AArch64 into an intermediate representation, enabling precise reasoning about program behavior including constraint solving for input generation and vulnerability discovery. Reverse engineers, vulnerability researchers, and software verification engineers use Triton to automate tasks like deobfuscation, coverage-guided analysis, exploit generation, and program verification that would be impractical to perform manually. The framework exposes a comprehensive Python API alongside its C++ core, allowing researchers to script sophisticated analyses that combine concrete execution with symbolic reasoning to explore program paths and extract semantic information.