Welcome to Manticore's documentation! ===================================== Manticore is a prototyping tool for dynamic binary analysis, with support for symbolic execution, taint analysis, and binary instrumentation. .. toctree:: :maxdepth: 2 :caption: Contents: api Indices and tables ------------------ * :ref:`genindex` * :ref:`modindex` * :ref:`search`