Dapp Store Ethereum Solidity Tools Symbolic Execution Tools

Manticore

Manticore

Free CustomersSymbolic Execution Tools

Manticore

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

Open-source

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?

Web3 dapps and developer tools related to Manticore

Discover blockchain applications that are frequently used with Manticore.

Web3 Testing Tools

This is solc-verify, an auto-verifier compiler for Solidity.

Static Analysis Tools

Amarna is a static analysis tool and linter for the Cairo programming language.

Web3 Testing Tools

Harbor is building production-ready staging environments and infrastructure for Web3 startups.

Best Symbolic Execution Tools

Discover more web3 applications and developer tools.

Resources and Guides about Symbolic Execution Tools

Featured content card overlay

6 Solidity Smart Contract Security Best Practices

Featured content card overlay

Best GitHub Repos For Web3 Developers (2023)

Featured content card overlay

20+ Blockchain Development Tools (2023)

Manticore Alternatives

Explore web3 competitors and apps like Manticore.

Symbolic Execution Tools

Oyente is a smart contract analysis tool built in 2016 to detect security vulnerabilities.

Symbolic Execution Tools

Mythril is a dynamic analysis tool for EVM bytecode that detects security vulnerabilities.

View all alternatives

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