Use the current state constraints over the constraint at the annotation time

6 years ago · 972d5974c0
parent eb32fa0c70
commit 972d5974c0
1 changed files with 1 additions and 1 deletions
--- a/mythril/analysis/modules/integer.py
+++ b/mythril/analysis/modules/integer.py
@ -290,7 +290,7 @@ class IntegerOverflowUnderflowModule(DetectionModule):
            try:

                transaction_sequence = solver.get_transaction_sequence(
-                    state, node.constraints + [annotation.constraint]
+                    state, state.node.constraints + [annotation.constraint]
                )
            except UnsatError:
                continue