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`