Binaries / EVM / Wasm
Manticore
Symbolic execution engine for binaries, smart contracts, and WebAssembly programs.
View on GitHub
trailofbits/manticore
Best for
Custom analyses where you need path exploration rather than point tooling.
Surface
Binaries / EVM / Wasm
Catalog group
Analyze binaries and reverse engineer behavior
Repository
trailofbits/manticore
From the README
This project is no longer internally developed and maintained. However, we are happy to review and accept small, well-written pull requests by the community. We will only consider bug fixes and minor enhancements. Any new or currently open issues and discussions shall be answered and supported by the community. Manticore is a symbolic execution tool for the analysis of smart contracts and binaries.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.
- Maat Dynamic symbolic execution and binary-analysis framework with taint analysis, environment simulation, and constraint solving.
- Codex Decompiler Ghidra plugin that uses language models to improve decompilation and reverse-engineering workflows.