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
EVM Assembler
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
Table Of Contents
Welcome to Manticore’s documentation!
Indices and tables
Related Topics
Documentation overview
Next:
API Reference
This Page
Show Source
Quick search