Welcome to Manticore’s documentation!
¶
Manticore is a symbolic execution tool for analysis of binaries and smart contracts.
Contents:
API Reference
Helpers
Manticore
State
SLinux
Cpu
Models
EVM
Symbolic Input
Wildcard byte
Symbolic arguments/environment
Symbolic stdin
Symbolic file input
Symbolic sockets
Function Models
Gotchas
Mutable context entries
Context locking
“Random” Policy
Indices and tables
¶
Index
Module Index
Search Page
Manticore
Navigation
Contents:
API Reference
Symbolic Input
Function Models
Gotchas
Related Topics
Documentation overview
Next:
API Reference
Quick search