Dapp StoreEthereumSolidity ToolsSymbolic Execution Tools
Free CustomersSymbolic Execution Tools


Manticore is a symbolic execution tool for the analysis of Ethereum smart contracts and binaries.

Ethereum Logo

What is Manticore?

Released in 2017 by TrailOfBits, Manticore provides a symbolic execution tool for the analysis of Ethereum smart contracts, Linux ELF binaries, and WASM modules. Manticore automatically generates new inputs based on a state, detects crashes and failure cases, and explores the states a program can reach. Using instruction hooks and callbacks, devs are given precise control of state exploration. Shipped with a wiki, examples, and an API-reference guide, Manticore provides devs the resources necessary to make full-use and custom-use of its interface.

Use Web3's Most Scalable and Reliable RPC Nodes
Get your API key
Is this your project?
Request edits

Best Symbolic Execution Tools

Discover more web3 applications and developer tools.

See all dapps
Section background image

Build blockchain magic

Alchemy combines the most powerful web3 developer products and tools with resources, community and legendary support.

Get your API key