Fix balance arg (#1404)

pull/1405/head
Nikhil Parasaram 4 years ago committed by GitHub
parent 83e54a5768
commit 7a305664ea
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 2
      mythril/laser/ethereum/instructions.py
  2. 2
      mythril/support/loader.py

@ -905,7 +905,7 @@ class Instruction:
address = state.stack.pop() address = state.stack.pop()
if address.symbolic is False: if address.symbolic is False:
balance = global_state.world_state.accounts_exist_or_load( balance = global_state.world_state.accounts_exist_or_load(
address, self.dynamic_loader address.value, self.dynamic_loader
).balance() ).balance()
else: else:
balance = symbol_factory.BitVecVal(0, 256) balance = symbol_factory.BitVecVal(0, 256)

@ -64,7 +64,7 @@ class DynLoader:
if not self.active: if not self.active:
raise ValueError("Loader is disabled") raise ValueError("Loader is disabled")
if not self.eth: 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) log.debug("Dynld at contract %s", dependency_address)

Loading…
Cancel
Save