.box
Dev Tools
The world's first and only ICANN-accredited ENS domain.
Manticore
Manticore is a symbolic execution tool for the analysis of Ethereum smart contracts and binaries.
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.
Manticore Alternatives
Explore competitors and apps like Manticore.
0x Explorer
Dev Tools
0x Explorer is a blockchain explorer built for 0x.
0xequity
Dev Tools
0xequity empowers users to invest in multiple instruments including RWAs and DeFi for as low as 10$.
0xNAME
Dev Tools
0xNAME is a public good naming service (protocol and dApp) enabling FREE web3 names on Ethereum with various Top Level …
0xScore
Dev Tools
Brand new way to rate wallets based on on-chain activity.
1.country
Dev Tools
1.country connects a Web3 name with a browsable Web2 domain, unifying users' digital identity.
Related development services
We can help you build with these technologies.
Need a custom blockchain solution?
We build dApps, smart contracts and Web3 solutions for startups and fintech.