mythril.solidity package¶
Submodules¶
mythril.solidity.soliditycontract module¶
This module contains representation classes for Solidity files, contracts and source mappings.
-
class
mythril.solidity.soliditycontract.
SolcAST
(ast)[source]¶ Bases:
object
-
abs_path
¶
-
node_type
¶
-
nodes
¶
-
-
class
mythril.solidity.soliditycontract.
SolcSource
(source)[source]¶ Bases:
object
-
ast
¶
-
contents
¶
-
id
¶
-
name
¶
-
-
class
mythril.solidity.soliditycontract.
SolidityContract
(input_file, name=None, solc_settings_json=None, solc_binary='solc', solc_data=None)[source]¶ Bases:
mythril.ethereum.evmcontract.EVMContract
Representation of a Solidity contract.
-
static
get_full_contract_src_maps
(ast: mythril.solidity.soliditycontract.SolcAST) → Set[str][source]¶ Takes a solc AST and gets the src mappings for all the contracts defined in the top level of the ast :param ast: AST of the contract :return: The source maps
-
static
-
class
mythril.solidity.soliditycontract.
SolidityFile
(filename: str, data: str, full_contract_src_maps: Set[str])[source]¶ Bases:
object
Representation of a file containing Solidity code.
-
class
mythril.solidity.soliditycontract.
SourceCodeInfo
(filename, lineno, code, mapping)[source]¶ Bases:
object
-
class
mythril.solidity.soliditycontract.
SourceMapping
(solidity_file_idx, offset, length, lineno, mapping)[source]¶ Bases:
object