Skip to content
Triton under the hood
blog.quarkslab.com | research | #reverse-engineering | #binary-analysis | #symbolic-execution | #triton | #pin | #concolic-execution
Summary
Inside Triton, the Pin-based concolic framework from SSTIC 2015: taint engine, symbolic execution, SMT2 translation, Z3 solving and Python bindings for reverse engineering and vulnerability research.
- Published
- Collected