---
id: 4404
title: "Introducing TritonDSE: A framework for dynamic symbolic execution in Python"
source_domain: blog.quarkslab.com
source_url: "https://blog.quarkslab.com/introducing-tritondse-a-framework-for-dynamic-symbolic-execution-in-python.html"
published_at: "2023-05-01T22:00:00Z"
tags: ["reverse-engineering", "binary-analysis", "python", "symbolic-execution", "tool", "triton"]
phying_url: "https://phying.com/item/4404"
lang: en
---

# Introducing TritonDSE: A framework for dynamic symbolic execution in Python

## 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.

## Intelligence Metadata

- **Sources:** blog.quarkslab.com
- **Published:** 2023-05-01T22:00:00Z
- **Original:** https://blog.quarkslab.com/introducing-tritondse-a-framework-for-dynamic-symbolic-execution-in-python.html
- **Phying News:** https://phying.com/item/4404