Manticore is a symbolic execution tool for the analysis of Ethereum smart contracts and binaries.
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
Sign up for a free Alchemy Account
Alchemy combines the most powerful web3 developer products and tools with resources, community and legendary support.