diff --git a/mythril/laser/ethereum/call.py b/mythril/laser/ethereum/call.py index 08ef8773..945a83a7 100644 --- a/mythril/laser/ethereum/call.py +++ b/mythril/laser/ethereum/call.py @@ -96,7 +96,7 @@ def get_callee_address( # attempt to read the contract address from instance storage try: callee_address = dynamic_loader.read_storage( - str(hex(environment.active_account.address.value)), index + hex(environment.active_account.address.value), index ) # TODO: verify whether this happens or not except: diff --git a/mythril/laser/ethereum/state/account.py b/mythril/laser/ethereum/state/account.py index c85726d5..99feb70f 100644 --- a/mythril/laser/ethereum/state/account.py +++ b/mythril/laser/ethereum/state/account.py @@ -38,7 +38,7 @@ class Storage: self._storage[item] = symbol_factory.BitVecVal( int( self.dynld.read_storage( - contract_address=self.address, index=int(item) + contract_address=hex(self.address.value), index=int(item) ), 16, ),