Welcome to Manticore’s documentation!

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

Contents:

• Property based symbolic executor: manticore-verifier
  • Writing properties in {Solidity/ Vyper}
• Selecting a target contract
• User accounts
• Stopping condition
  • Maximum number of transactions
  • Maximum coverage % attained
  • Timeout
  • Walkthrough
• ManticoreBase
• Workers
• States
  • Accessing
  • Operations
  • Inspecting
• EVM
  • ABI
  • Manager
  • EVM
• Native
  • Platforms
  • Linux
  • Models
  • State
  • Cpu
  • Memory
  • State
  • Function Models
  • Symbolic Input
• Web Assembly
  • ManticoreWASM
  • WASM World
  • Executor
  • Module Structure
  • Types
• Plugins
  • Core
  • Worker
  • EVM
  • memory
  • abstractcpu
  • x86
• Gotchas
  • Mutable context entries
  • Context locking
  • “Random” Policy
• Utilities
  • Logging

Indices and tables

• Index

• Module Index

• Search Page