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.