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

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



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

   api
   syminput
   models
   gotchas


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

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