Skip to content

Pin-based concolic execution framework. It provides components like a taint engine, a dynamic symbolic execution engine, a snapshot engine, translation of x64 instructions into SMT2-LIB, a Z3 interface to solve constraints and Python bindings. Based on these components, you can build tools for automate reverse engineering.

License

v0re/Triton

 
 

Repository files navigation

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.

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

Quick start

Internal documentation

Blog post

Extra information

About

Pin-based concolic execution framework. It provides components like a taint engine, a dynamic symbolic execution engine, a snapshot engine, translation of x64 instructions into SMT2-LIB, a Z3 interface to solve constraints and Python bindings. Based on these components, you can build tools for automate reverse engineering.

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages

  • C++ 97.6%
  • Other 2.4%