Skip to content
Maat: Symbolic execution made easy
blog.trailofbits.com | blog | #reverse-engineering | #ghidra | #program-analysis | #symbolic-execution | #maat | #p-code
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.
- Published
- Collected