From ad7bdff9e60fa7ada9c924f8833340afb5100918 Mon Sep 17 00:00:00 2001 From: Bernhard Mueller Date: Mon, 19 Nov 2018 16:24:35 +0700 Subject: [PATCH] Add missing constraint to get_transaction_sequence args --- mythril/analysis/modules/integer.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mythril/analysis/modules/integer.py b/mythril/analysis/modules/integer.py index 77d8af8c..e7d67836 100644 --- a/mythril/analysis/modules/integer.py +++ b/mythril/analysis/modules/integer.py @@ -109,7 +109,7 @@ class IntegerOverflowUnderflowModule(DetectionModule): ) try: issue.debug = "Transaction Sequence: " + str( - solver.get_transaction_sequence(state, node.constraints) + solver.get_transaction_sequence(state, node.constraints + [constraint]) ) except UnsatError: return issues