EVM
---

ABI
^^^

.. autoclass:: manticore.ethereum.ABI
    :members:
    :undoc-members:

Manager
^^^^^^^

.. autoclass:: manticore.ethereum.ManticoreEVM
    :members:
    :undoc-members:

EVM
^^^

.. automodule:: manticore.platforms.evm
    :exclude-members: ADD,  ADDMOD,  ADDRESS,  AND,  BALANCE,  BLOCKHASH,  BYTE,  CALL,  CALLCODE,  CALLDATACOPY, CALLDATALOAD, CALLDATASIZE, CALLER, CALLVALUE, CODECOPY, CODESIZE, COINBASE, CREATE, DELEGATECALL, DIFFICULTY, DIV, DUP, EQ, EXP, EXP_gas, EXTCODECOPY, EXTCODESIZE, GAS, GASLIMIT, GASPRICE, GETPC, GT, INVALID, ISZERO, JUMP, JUMPDEST, JUMPI, LT, MLOAD, MOD, MSIZE, MSTORE, MSTORE8, MUL, MULMOD, NOT, NUMBER, OR, ORIGIN, POP, PUSH, RETURN, SDIV, SELFDESTRUCT, SGT, SHA3, SIGNEXTEND, SLOAD, SLT, SMOD, SSTORE, STATICCALL, STOP, SUB, SWAP, TIMESTAMP, XOR, BALANCE_gas, CALLCODE_gas, CALLDATACOPY_gas, CALL_gas, CODECOPY_gas, CREATE_gas, DELEGATECALL_gas, EXTCODECOPY_gas, LOG, LOG_gas, MLOAD_gas, MSTORE8_gas, MSTORE_gas, PC, RETURNDATACOPY, RETURNDATACOPY_gas, RETURNDATASIZE, RETURN_gas, REVERT, REVERT_gas, SHA3_gas, SSTORE_gas, STATICCALL_gas, THROW
    :members:
    :undoc-members:
