Merge pull request #1088 from ConsenSys/bugfix/storage_lookup

Fix lookup of on-chain storage

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:

mythril/laser/ethereum/state/account.py

@@ -38,7 +38,8 @@ 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,
                         ),