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
<!-- TODO Maat is an open-source Dynamic Symbolic Execution and Binary Analysis framework. It provides various functionalities such as symbolic execution, taint analysis, constraint solving, binary loading, environment simulation, and leverages Ghidra's sleigh library for assembly lifting: https://maat.re Key features: performance.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.