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.
- Jonathan Salwan – Lead dev, Quarkslab
- Pierrick Brunet – Core dev, Quarkslab
- Florent Saudel – Core dev, Bordeaux University
- Romain Thomas – Core dev, Quarkslab