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
Web Assembly
ManticoreWASM
WASM World
Executor
Module Structure
Types
Plugins
Core
Worker
EVM
memory
abstractcpu
x86
Gotchas
Mutable context entries
Context locking
“Random” Policy
Indices and tables
¶
Index
Module Index
Search Page
Manticore
Navigation
Contents:
ManticoreBase
Workers
States
EVM
Native
Web Assembly
Plugins
Gotchas
Related Topics
Documentation overview
Next:
ManticoreBase
Quick search