From b90ef552bb0635a4544e683ab5639bf9473c9dc0 Mon Sep 17 00:00:00 2001 From: Bernhard Mueller Date: Sat, 29 Jun 2019 10:07:42 +0200 Subject: [PATCH] Simplify constraints --- mythril/analysis/modules/integer.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/mythril/analysis/modules/integer.py b/mythril/analysis/modules/integer.py index 6b409cf7..15e4d99b 100644 --- a/mythril/analysis/modules/integer.py +++ b/mythril/analysis/modules/integer.py @@ -39,7 +39,7 @@ class OverUnderflowAnnotation: self.address = overflowing_state.get_current_instruction()["address"] self.function_name = overflowing_state.environment.active_function_name - self.constraint = overflowing_state.mstate.constraints + [constraint] + self.constraint = constraint self.operator = operator @@ -300,7 +300,7 @@ class IntegerOverflowUnderflowModule(DetectionModule): try: - constraints = state.mstate.constraints + annotation.constraint + constraints = state.mstate.constraints + [annotation.constraint] transaction_sequence = solver.get_transaction_sequence( state, constraints