Triton – Dynamic Binary Analysis (DBA) Framework

Triton - Dynamic Binary Analysis (DBA) Framework

Triton is a dynamic binary analysis (DBA) framework. It gives inner parts like a Dynamic Symbolic Execution (DSE) engine, a Taint engine, AST representations of the x86 and the x86-64 directions set semantics, SMT simplification passes, an SMT Solver Interface and, the final however not least, Python bindings.

Based on these parts, you’ll be able to construct
program analysis instruments, automate reverse engineering and carry out software program verification. As Triton continues to be a younger mission, please, do not blame us if it isn’t but dependable. Open issues or pull requests are at all times higher than troll =).
A full documentation is accessible on our doxygen page.

Quick begin

Internal documentation

A blog is accessible and you’ll comply with us on twitter @qb_triton or by way of our RSS feed.



  • Jonathan Salwan – Lead dev, Quarkslab
  • Pierrick Brunet – Core dev, Quarkslab
  • Florent Saudel – Core dev, Bordeaux University
  • Romain Thomas – Core dev, Quarkslab


Please enter your comment!
Please enter your name here

This site uses Akismet to reduce spam. Learn how your comment data is processed.