×
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 |