Skip to content

A Pin-based dynamic symbolic execution (DSE) framework. Although Triton is a DSE framework, it also provides internal components like a taint engine, a snapshot engine, translation of x86 and x86-64 instructions into SMT2-LIB, a Z3 interface to solve constraints and, the last but not least, Python bindings.

License

Notifications You must be signed in to change notification settings

YHVHvx/Triton

 
 

Repository files navigation

Triton is a Pin-based dynamic symbolic execution (DSE) execution framework. Although Triton is a DSE framework, it also provides internal components like a taint engine, a dynamic symbolic execution engine, a snapshot engine, translation of x64 instructions into the SMT2-LIB representation, a Z3 interface to solve constraints and, the last but not least, Python bindings.

Based on these components, you are able to build program analysis tools, automate reverse engineering or perform software verification.

The wiki describes Triton and its components 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

A Pin-based dynamic symbolic execution (DSE) framework. Although Triton is a DSE framework, it also provides internal components like a taint engine, a snapshot engine, translation of x86 and x86-64 instructions into SMT2-LIB, a Z3 interface to solve constraints and, the last but not least, Python bindings.

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages

  • C++ 97.1%
  • C 1.1%
  • CMake 1.1%
  • Other 0.7%