Home

Triton is a concolic execution framework based on Pin. It provides components like a taint engine, a dynamic symbolic execution engine, a snapshot engine, translation of x64 instruction into the SMT2-LIB representation, a Z3 interface to solve constraints and Python bindings.

Based on these components, Triton offers the possibility to build tools for vulnerabilities research and can provide some reverse engineering assistance.

This wiki describes Triton under the hood.

Quick start

• Installation
• Examples
• Tools

Internal documentation

• Symbolic Engine
• Taint Engine
• Snapshot Engine
• SMT2-LIB Representation
• Solver Engine - Z3
• SMT Semantics Supported
• Python Bindings

Blog post

• Triton under the hood - First approach with the framework

Extra information

• Publications
• Authors and Acknowledgements