Manticore

Symbolic execution tool on Smart Contracts and Binaries

Features Input Generation: Manticore automatically generates inputs that trigger unique code paths Error Discovery: Manticore discovers bugs and produces inputs required to trigger them Execution Tracing: Manticore records an instruction-level trace of execution for each generated input Programmatic
  • Ethereum
  • Project
  • Security
  • EVM
  • Solidity
  • Dev tools
  • Code
  • Analytics
  • Python
Support Type
Select support type.
Enter the complete detail about the project, contribution guidelines, etc.