mythril.solidity package¶
Submodules¶
mythril.solidity.soliditycontract module¶
This module contains representation classes for Solidity files, contracts and source mappings.
-
class
mythril.solidity.soliditycontract.
SolidityContract
(input_file, name=None, solc_settings_json=None, solc_binary='solc')[source]¶ Bases:
mythril.ethereum.evmcontract.EVMContract
Representation of a Solidity contract.
-
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