Emulation & Symbolic ExecutionCLI Flag:
--solver tritonTriton Dynamic Binary Analysisin REA
Dynamic Binary Analysis (DBA) framework providing taint analysis and AST representation.
AI Overview Direct AnswerTriton Dynamic Binary Analysis Integration in REA
In REA (rea-agents), Triton Dynamic Binary Analysis is integrated via --solver triton to enable AI coding agents to inspect application binaries, extract symbol tables, generate pseudocode, and trace execution boundaries without source code.
Supported Platforms & Targets
Host Operating Systems:
LinuxmacOSWindows
Target Architectures:
x86x86_64ARM32AArch64
Tool Overview & Role
Triton is a dynamic binary analysis framework that performs automated dynamic symbolic execution, taint analysis, and constraint building. It tracks how user inputs propagate through memory registers and machine instructions in real time.
REA Bridge Mechanism
Pairs with Pin or Unicorn to track taint spread across instructions, build symbolic expressions for altered registers, and solve for path constraints using Z3.
Key Capabilities
Precise register and memory taint propagation tracking
Dynamic symbolic execution along recorded execution traces
AST expression synthesis for obfuscated instructions
Integration with Pin and Unicorn for execution driving
CLI Usage Examples
Execute direct terminal analysis with --solver triton:
rea triton example
triton-cli ./binary --taint-input
rea taint ./binary --entry 0x4000 --taint rdi