Welcome to Manticore’s documentation!

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

Contents:

• ManticoreBase
• Workers
• States
  • Accessing
  • Operations
• EVM
  • ABI
  • Manager
  • EVM
• Native
  • Platforms
  • Linux
  • Models
  • State
  • Cpu
  • Memory
  • State
  • Function Models
  • Symbolic Input
• Plugins
  • Core
  • Worker
  • EVM
  • memory
  • abstractcpu
  • x86
• Gotchas
  • Mutable context entries
  • Context locking
  • “Random” Policy

Indices and tables

• Index
• Module Index
• Search Page