fix calldata constraint

6 years ago · 28c611fc06
parent c9f6f8b2f3
commit 28c611fc06
1 changed files with 3 additions and 1 deletions
--- a/mythril/laser/ethereum/state.py
+++ b/mythril/laser/ethereum/state.py
@ -113,7 +113,9 @@ class Calldata:
            except IndexError:
                return BitVecVal(0, 8)
        else:
-            constraints = [Implies(item != 0, UGT(self.calldatasize, item))]
+            constraints = [
+                Implies(self._calldata[item] != 0, UGT(self.calldatasize, item))
+            ]
            self._not_yet_added_constraints += constraints

            return self._calldata[item]