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

Manticore

Navigation

Contents:

  • Property based symbolic executor: manticore-verifier
  • Selecting a target contract
  • User accounts
  • Stopping condition
  • ManticoreBase
  • Workers
  • States
  • EVM
  • Native
  • Web Assembly
  • Plugins
  • Gotchas
  • Utilities

Related Topics

  • Documentation overview
    • Next: Property based symbolic executor: manticore-verifier

Quick search

©2019, Trail of Bits. | Powered by Sphinx 4.3.0 & Alabaster 0.7.13 | Page source