Skip to content

Latest commit

 

History

History
27 lines (23 loc) · 1.23 KB

Manticore.md

File metadata and controls

27 lines (23 loc) · 1.23 KB
Raw

44 - Manticore

Manticore is a symbolic execution tool for analysis of Ethereum smart contracts (besides Linux binaries & WASM modules).

See tutorial for details. 

  1. Program Exploration: Manticore can execute a program with symbolic inputs and explore all the possible states it can reach
  2. Input Generation: Manticore can automatically produce concrete inputs that result in a given program state
  3. Error Discovery: Manticore can detect crashes and other failure cases in binaries and smart contracts
  4. Instrumentation: Manticore provides fine-grained control of state exploration via event callbacks and instruction hooks
  5. Programmatic Interface: Manticore exposes programmatic access to its analysis engine via a Python API

Slide Screenshot

044.jpg

Slide Text

  • Symbolic Execution Tool
  • Trail of Bits
  • Symbolic Inputs -> State Exploration
  • Input Generation, Error Discovery
  • Instrumentation, Programmatic Interface

References

Tags