mirror of https://github.com/ConsenSys/mythril
blockchainethereumsmart-contractssoliditysecurityprogram-analysissecurity-analysissymbolic-execution
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
43 lines
1.5 KiB
43 lines
1.5 KiB
from mythril.mythril import MythrilAnalyzer, MythrilDisassembler
|
|
from mythril.ethereum import util
|
|
from mythril.solidity.soliditycontract import EVMContract
|
|
from tests import TESTDATA_INPUTS
|
|
from types import SimpleNamespace
|
|
|
|
|
|
def test_statespace_dump():
|
|
for input_file in TESTDATA_INPUTS.iterdir():
|
|
if input_file.name not in ("origin.sol.o", "suicide.sol.o"):
|
|
# It's too slow, so it's better to skip some tests.
|
|
continue
|
|
contract = EVMContract(input_file.read_text())
|
|
disassembler = MythrilDisassembler()
|
|
disassembler.contracts.append(contract)
|
|
args = SimpleNamespace(
|
|
execution_timeout=5,
|
|
max_depth=30,
|
|
solver_timeout=10000,
|
|
no_onchain_data=True,
|
|
loop_bound=None,
|
|
create_timeout=None,
|
|
disable_dependency_pruning=False,
|
|
custom_modules_directory=None,
|
|
pruning_factor=0,
|
|
parallel_solving=True,
|
|
unconstrained_storage=True,
|
|
call_depth_limit=3,
|
|
disable_iprof=True,
|
|
solver_log=None,
|
|
transaction_sequences=None,
|
|
disable_coverage_strategy=False,
|
|
disable_mutation_pruner=False,
|
|
enable_summaries=False,
|
|
)
|
|
analyzer = MythrilAnalyzer(
|
|
disassembler=disassembler,
|
|
strategy="dfs",
|
|
address=(util.get_indexed_address(0)),
|
|
cmd_args=args,
|
|
)
|
|
|
|
analyzer.dump_statespace(contract=contract)
|
|
|