mythril.ethereum package¶

Subpackages¶

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)[source]¶

Bases: persistent.Persistent

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

as_dict()[source]¶

Returns:

bytecode_hash¶

Returns:	runtime bytecode hash

creation_bytecode_hash¶

Returns:	Creation bytecode hash

get_creation_easm()[source]¶

Returns:

get_easm()[source]¶

Returns:

matches_expression(expression)[source]¶

Parameters:	expression –
Returns:

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

mythril.ethereum.util.extract_version(file: str) → Optional[str][source]¶

mythril.ethereum.util.get_indexed_address(index)[source]¶

Parameters:	index –
Returns:

mythril.ethereum.util.get_random_address()[source]¶

Returns:

mythril.ethereum.util.get_solc_json(file, solc_binary='solc', solc_settings_json=None)[source]¶

Parameters:	file – solc_binary – solc_settings_json –
Returns:

mythril.ethereum.util.safe_decode(hex_encoded_string)[source]¶

Parameters:	hex_encoded_string –
Returns:

mythril.ethereum.util.solc_exists(version)[source]¶

Parameters:	version –
Returns: