Fix #1176: retrieve map items.

5 years ago · 49fbb5f82f
parent a2a85081f6
commit 49fbb5f82f
1 changed files with 2 additions and 1 deletions
--- a/mythril/laser/ethereum/state/account.py
+++ b/mythril/laser/ethereum/state/account.py
@ -76,8 +76,9 @@ class Storage:
        if is_keccak_storage:
            item = self._sanitize(cast(BitVecFunc, item).input_)
        value = storage[item]
+
        if (
-            value.value == 0
+            (value.value == 0 or value.value is None)  # 0 for Array, None for K
            and self.address
            and item.symbolic is False
            and self.address.value != 0