Check if item is symbolic first.

5 years ago · a9fd342baf
parent 04d295b329
commit a9fd342baf
1 changed files with 1 additions and 1 deletions
--- a/mythril/laser/ethereum/state/account.py
+++ b/mythril/laser/ethereum/state/account.py
@ -79,8 +79,8 @@ class Storage:
        if (
            self.address
            and self.address.value != 0
-            and int(item.value) not in self.storage_keys_loaded
            and item.symbolic is False
+            and int(item.value) not in self.storage_keys_loaded
            and (self.dynld and self.dynld.storage_loading)
        ):
            try: