Skip to content

Triton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a dynamic taint engine, AST representations of the x86, x86-64, ARM32 and AArch64 Instructions Set Architecture (ISA), SMT simplification passes, an SMT solver interface and, the last but not least, Python bindings.

License

Notifications You must be signed in to change notification settings

thatreguy/Triton

 
 

Repository files navigation

Triton is a dynamic binary analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a dynamic taint engine, AST representations of the x86, x86-64, ARM32 and AArch64 Instructions Set Architecture (ISA), SMT simplification passes, an SMT solver interface and, the last but not least, Python bindings. Based on these components, you are able to build program analysis tools, automate reverse engineering and perform software verification.


As Triton is still a young project, please, don't blame us if it is not yet reliable. Open issues or pull requests are always better than troll =).

Full documentation is available on our doxygen page.

    Codecov

Quick start

News

A blog is available and you can follow us on twitter @qb_triton or via our RSS feed.

Support

  • IRC: #qb_triton@freenode
  • Mail: triton at quarkslab com

Authors

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

Cite Triton

@inproceedings{SSTIC2015-Saudel-Salwan,
  author    = {Saudel, Florent and Salwan, Jonathan},
  title     = {Triton: A Dynamic Symbolic Execution Framework},
  booktitle = {Symposium sur la s{\'{e}}curit{\'{e}} des technologies de l'information
               et des communications},
  series    = {SSTIC},
  pages     = {31--54},
  address   = {Rennes, France},
  month     = jun,
  year      = {2015},
}

About

Triton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a dynamic taint engine, AST representations of the x86, x86-64, ARM32 and AArch64 Instructions Set Architecture (ISA), SMT simplification passes, an SMT solver interface and, the last but not least, Python bindings.

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages

  • C++ 68.4%
  • Python 25.7%
  • C 4.3%
  • CMake 0.8%
  • Ruby 0.8%
  • SMT 0.0%