![Manticore](/_next/image?url=https%3A%2F%2Fres.cloudinary.com%2Falchemy-website%2Fimage%2Fupload%2Fv1694675406%2Fdapp-store%2Fdapp-logos%2FManticore.png&w=640&q=75)
Manticore
Manticore is a symbolic execution tool for the analysis of Ethereum smart contracts and binaries.
![](/_next/image?url=%2Fimages%2Fbig-blur.png&w=1920&q=75)
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.
Web3 dapps and developer tools related to Manticore
Discover blockchain applications that are frequently used with Manticore.
![Solc Verify Logo](/_next/image?url=https%3A%2F%2Fres.cloudinary.com%2Falchemy-website%2Fimage%2Fupload%2Fv1694675632%2Fdapp-store%2Fdapp-logos%2FSolc%2520Verify.png&w=96&q=75)
![Amarna Logo](/_next/image?url=https%3A%2F%2Fres.cloudinary.com%2Falchemy-website%2Fimage%2Fupload%2Fv1694675608%2Fdapp-store%2Fdapp-logos%2FAmarna.png&w=96&q=75)
![Starknet Starknet Logo](/_next/image?url=https%3A%2F%2Fres.cloudinary.com%2Falchemy-website%2Fimage%2Fupload%2Fv1694676597%2Fdapp-store%2Fchain-logos%2FStarknet.png&w=48&q=75)
![Harbor Logo](/_next/image?url=https%3A%2F%2Fres.cloudinary.com%2Falchemy-website%2Fimage%2Fupload%2Fv1694675415%2Fdapp-store%2Fdapp-logos%2FHarbor.png&w=96&q=75)
Resources and Guides about Symbolic Execution Tools
Manticore Alternatives
Explore web3 competitors and apps like Manticore.
![Section background image](/_next/image?url=https%3A%2F%2Fwww.datocms-assets.com%2F105223%2F1695993053-convertion-panel-bg-dark.jpg&w=3840&q=75)