Triton Logo

Triton

0 (0)
Visit Website

Triton is a dynamic binary analysis library that provides internal components for building program analysis tools, automating reverse engineering, performing software verification, and emulating code. It offers dynamic symbolic execution, dynamic taint analysis, AST representation of various ISAs, expressions synthesis, SMT simplification passes, lifting to LLVM, and interfaces with Z3 and Bitwuzla solvers. It also includes C++ and Python APIs for ease of use.

ALTERNATIVES