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
--- id: 4559 title: "Triton under the hood" source_domain: blog.quarkslab.com source_url: "https://blog.quarkslab.com/triton-under-the-hood.html" published_at: "2015-06-09T22:00:00Z" tags: ["reverse-engineering", "binary-analysis", "symbolic-execution", "triton", "pin", "concolic-execution"] phying_url: "https://phying.com/item/4559" lang: en --- # Triton under the hood ## 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. ## Intelligence Metadata - **Sources:** blog.quarkslab.com - **Published:** 2015-06-09T22:00:00Z - **Original:** https://blog.quarkslab.com/triton-under-the-hood.html - **Phying News:** https://phying.com/item/4559