Binary analysis
Maat
Dynamic symbolic execution and binary-analysis framework with taint analysis, environment simulation, and constraint solving.
View on GitHub
trailofbits/maat
Best for
Research-heavy workflows that need more control than a single-purpose UI.
Surface
Binary analysis
Catalog group
Analyze binaries and reverse engineer behavior
Repository
trailofbits/maat
From the README
Maat is an open-source Dynamic Symbolic Execution and Binary Analysis framework. It provides symbolic execution, taint analysis, constraint solving, binary loading, and environment simulation, and leverages Ghidra's sleigh library for assembly lifting (https://maat.re).Read the full README on GitHub ↗
Related tools · Analyze binaries and reverse engineer behavior
- Remill Machine-code lifter that translates instructions into LLVM bitcode for later analysis and transformation.
- Anvill Lifting primitives that aim for Clang-like bitcode quality so decompiled output is easier to reason about.
- VMill Snapshot-based process emulator for executing lifted binaries and instrumenting them in LLVM form.
- Manticore Symbolic execution engine for binaries, smart contracts, and WebAssembly programs.
- Codex Decompiler Ghidra plugin that uses language models to improve decompilation and reverse-engineering workflows.
