Fix #1176: load map items

5 years ago · 739ac0337b
parent 9cb791958d
commit 739ac0337b
1 changed files with 1 additions and 1 deletions
--- a/mythril/laser/ethereum/state/account.py
+++ b/mythril/laser/ethereum/state/account.py
@ -74,7 +74,7 @@ class 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