From c394fbd9760c091ef90c53778069110e4d58af17 Mon Sep 17 00:00:00 2001 From: Nikhil Parasaram Date: Wed, 6 May 2020 16:12:14 +0100 Subject: [PATCH] Fix a multicontract bug --- mythril/interfaces/cli.py | 2 +- mythril/laser/ethereum/call.py | 8 -------- 2 files changed, 1 insertion(+), 9 deletions(-) diff --git a/mythril/interfaces/cli.py b/mythril/interfaces/cli.py index e1b1af75..8ceb7f13 100644 --- a/mythril/interfaces/cli.py +++ b/mythril/interfaces/cli.py @@ -563,7 +563,7 @@ def set_config(args: Namespace): ): config.set_api_from_config_path() - if args.__dict__.get("address", None): + if args.__dict__.get("rpc", None): # Establish RPC connection if necessary config.set_api_rpc(rpc=args.rpc, rpctls=args.rpctls) if args.command in ("hash-to-address", "leveldb-search"): diff --git a/mythril/laser/ethereum/call.py b/mythril/laser/ethereum/call.py index c179214e..5ad1943c 100644 --- a/mythril/laser/ethereum/call.py +++ b/mythril/laser/ethereum/call.py @@ -178,14 +178,6 @@ def get_call_data( else memory_size ), ) - - uses_entire_calldata = simplify( - memory_size == global_state.environment.calldata.calldatasize - ) - - if is_true(uses_entire_calldata): - return global_state.environment.calldata - try: calldata_from_mem = state.memory[ util.get_concrete_int(memory_start) : util.get_concrete_int(