Web3Explorer

Curating the best decentralized applications and infrastructure for the Web3 economy.

collaborate with us

Top Blockchains

Bitcoin
Ethereum
Polygon
Arbitrum
BNB Chain
Solana

Top Wallets

MetaMask
Coinbase Wallet
Phantom Wallet
Rabby Wallet
Backpack

Top Exchanges

Uniswap
Binance
PancakeSwap
Kraken
1inch

Enterprise Solutions

Identity Tools
Real World Asset
ZK Tools
Crypto Tax

Web Explorer
Ethereum
Open Source Projects
GitHub Open Source Projects
Manticore

Manticore

Free

GitHub Open Source Projects

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

Ethereum

About Manticore

Released in 2017 by TrailOfBits, Manticore is a symbolic execution tool designed to analyze Ethereum smart contracts, Linux ELF binaries, and WASM modules.

It automatically generates new inputs based on a program state, detects crashes and failure cases, and explores the states a program can reach.

With instruction hooks and callbacks, developers gain precise control of state exploration.

Manticore includes a wiki, examples, and an API reference to help users fully leverage its interface.

Alternatives

NFTTrack

NFT Analytics Tools • Ethereum

Official Links

Website

Web3 Portfolio

Browse delivered DeFi, staking, and tokenized product builds from Lancers Technology case studies.

Browse Case Studies

Related Dapps

EVM Gas Puzzles

Web3 Security Competitions • Ethereum

EZO

Crypto Exchanges • Bitcoin

Halo

ZK Proving Systems • Multichain