×
Triton
| Author(s) | Jonathan Salwan |
| Site project | |
| Tag(s) | DBI, SMT, binding |
| License | GNU Lesser General Public License, version 3 or later |
| Python versions | 2.7 |
| Platforms | win/lin |
| Processors (Architecture) | x64 |
| Base project | PIN |
| Description | 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 instructions into the SMT2-LIB representation, a Z3 interface to solve constraints and Python bindings. |
| Tools | ??? |
| Useful links | Code coverage using a dynamic symbolic execution |