Web Assembly
------------


ManticoreWASM
^^^^^^^^^^^^^

.. automodule:: manticore.wasm.manticore
    :members:
    :undoc-members:


WASM World
^^^^^^^^^^

.. automodule:: manticore.platforms.wasm
    :members:
    :undoc-members:


Executor
^^^^^^^^

.. automodule:: manticore.wasm.executor
    :members:
    :undoc-members:


Module Structure
^^^^^^^^^^^^^^^^^

.. automodule:: manticore.wasm.structure
    :members:
    :undoc-members:


Types
^^^^^

.. automodule:: manticore.wasm.types
    :members:
    :undoc-members:
