Welcome to Manticore's documentation!
=====================================

Manticore is a symbolic execution tool for analysis of binaries and smart contracts.



.. toctree::
   :maxdepth: 2
   :caption: Contents:

   verifier
   base
   worker
   states
   evm
   native
   wasm
   plugins
   gotchas
   utilities


Indices and tables
------------------

* :ref:`genindex`
* :ref:`modindex`
* :ref:`search`
