Introducing TritonDSE: A framework for dynamic symbolic execution in Python
blog.quarkslab.com | research | #reverse-engineering | #binary-analysis | #python | #symbolic-execution | #tool | #triton
Summary
Introducing TritonDSE, a Python library atop Triton for customizable dynamic symbolic execution: high-level program exploration primitives, hooks, and the base of PASTIS's white-box fuzzer.
- Published
- Collected
Skip to content