PPhying中文
Curated security research, vulnerabilities, advisories and tools for practitioners.

Introducing TritonDSE: A framework for dynamic symbolic execution in Python

blog.quarkslab.com | research | #reverse-engineering | #binary-analysis | #python | #symbolic-execution | #tool | #triton
📄 Raw .md⬇️ Download .md🔗 Original ↗

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

Related coverage

research · blog.quarkslab.com
QBDI vs TritonDSE against a VM: who will be the fastest?
Quarkslab solves a custom-VM CTF challenge twice — with symbolic execution engine TritonDSE and instrumentation framework QBDI — and compares which approach gets to the solution fastest.
research · blog.quarkslab.com
PASTIS For The Win!
PASTIS, a Quarkslab framework combining grey-box and white-box fuzzing, won a Google-sponsored SBFT bug-discovery competition and is released as open source under Apache 2.0.
research · blog.quarkslab.com
Triton under the hood
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.
research · blog.quarkslab.com
Quokka: A Fast and Accurate Binary Exporter
Quarkslab open-sources Quokka, a binary exporter that extracts a program's disassembly for offline analysis, letting users write complex analyses without disassembler APIs.
research · blog.quarkslab.com
Binbloom blooms: introducing v2
Introducing binbloom v2, Quarkslab's firmware reverse-engineering tool: a new method to determine the load base address of both 32- and 64-bit firmware binaries.
research · blog.quarkslab.com
Triton v0.8 and ARMv7: A Guideline for Adding New Architectures
A follow-up to the Triton v0.8 release explaining how ARMv7 support was added to the symbolic execution framework and outlining a guideline for integrating new architectures.
Back