mythril.ethereum package

Subpackages

• mythril.ethereum.interface package
  • Subpackages
    • mythril.ethereum.interface.rpc package
      • Submodules
      • mythril.ethereum.interface.rpc.base_client module
      • mythril.ethereum.interface.rpc.client module
      • mythril.ethereum.interface.rpc.constants module
      • mythril.ethereum.interface.rpc.exceptions module
      • mythril.ethereum.interface.rpc.utils module
      • Module contents
  • Module contents

Submodules

mythril.ethereum.evmcontract module

This module contains the class representing EVM contracts, aka Smart Contracts.

class mythril.ethereum.evmcontract.EVMContract(code='', creation_code='', name='Unknown', enable_online_lookup=False)

Bases: Persistent

This class represents an address with associated code (Smart Contract).

as_dict()

Returns:

property bytecode_hash

Returns:

runtime bytecode hash

property creation_bytecode_hash

Returns:

Creation bytecode hash

get_creation_easm()

Returns:

get_easm()

Returns:

matches_expression(expression)

Parameters:

expression

Returns:

mythril.ethereum.util module

This module contains various utility functions regarding unit conversion and solc integration.

mythril.ethereum.util.extract_binary(file: str) → str

mythril.ethereum.util.extract_version(file: str | None)

mythril.ethereum.util.get_indexed_address(index)

Parameters:

index

Returns:

mythril.ethereum.util.get_random_address()

Returns:

mythril.ethereum.util.get_solc_json(file, solc_binary='solc', solc_settings_json=None)

Parameters:

• file

• solc_binary

• solc_settings_json

Returns:

mythril.ethereum.util.parse_pragma(solidity_code)

mythril.ethereum.util.safe_decode(hex_encoded_string)

Parameters:

hex_encoded_string

Returns:

mythril.ethereum.util.solc_exists(version)

Parameters:

version

Returns:

Module contents