Manticore

Open Source

Symbolic execution tool for EVM and native binaries. Performs deep program analysis to find bugs and verify properties.

About

Manticore is a symbolic execution tool developed by Trail of Bits that supports both EVM smart contracts and native Linux binaries. For smart contracts, it systematically explores all possible execution paths to find reentrancy bugs, integer overflows, and other vulnerabilities. Manticore's Python API allows writing custom analyses and property checks, making it a flexible tool for advanced security research.