Maat: Symbolic execution made easy

Published

2022-02-23 12:00

Collected

2026-07-03 04:08

---
id: 1784
title: "Maat: Symbolic execution made easy"
source_domain: blog.trailofbits.com
source_url: "https://blog.trailofbits.com/2022/02/23/maat-symbolic-execution-made-easy/"
published_at: "2022-02-23T12:00:08Z"
tags: ["reverse-engineering", "ghidra", "program-analysis", "symbolic-execution", "maat", "p-code"]
phying_url: "https://phying.com/item/1784"
lang: en
---

# Maat: Symbolic execution made easy

## Summary

Trail of Bits released Maat, a cross-architecture symbolic execution framework built on Ghidra's p-code IR, offering dynamic symbolic execution, taint analysis, and C++ and Python APIs.

## Intelligence Metadata

- **Sources:** blog.trailofbits.com
- **Published:** 2022-02-23T12:00:08Z
- **Original:** https://blog.trailofbits.com/2022/02/23/maat-symbolic-execution-made-easy/
- **Phying News:** https://phying.com/item/1784