diff --git a/mythril/laser/ethereum/instructions.py b/mythril/laser/ethereum/instructions.py index 05f8a4c9..28c34fd0 100644 --- a/mythril/laser/ethereum/instructions.py +++ b/mythril/laser/ethereum/instructions.py @@ -905,7 +905,7 @@ class Instruction: address = state.stack.pop() if address.symbolic is False: balance = global_state.world_state.accounts_exist_or_load( - address, self.dynamic_loader + address.value, self.dynamic_loader ).balance() else: balance = symbol_factory.BitVecVal(0, 256) diff --git a/mythril/support/loader.py b/mythril/support/loader.py index 1f1ff48f..6aa5aa97 100644 --- a/mythril/support/loader.py +++ b/mythril/support/loader.py @@ -64,7 +64,7 @@ class DynLoader: if not self.active: raise ValueError("Loader is disabled") if not self.eth: - raise ValueError("Cannot load from the storage when eth is None") + raise ValueError("Cannot load from the chain when eth is None") log.debug("Dynld at contract %s", dependency_address)