Triton
C++
★ 0
updated 11y ago
⑂ fork
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 SMT2-LIB, a Z3 interface to solve constraints and Python bindings. Based on these components, you can build tools for automated reverse engineering.
No plain-English explanation yet — one is being written right now. Check back in a minute.