From 3a43b0334e23136309dff456132c5f1f3377e295 Mon Sep 17 00:00:00 2001 From: Bernhard Mueller Date: Thu, 10 May 2018 12:36:51 +0700 Subject: [PATCH] Revert change in int overflow module --- mythril/analysis/modules/integer.py | 2 -- 1 file changed, 2 deletions(-) diff --git a/mythril/analysis/modules/integer.py b/mythril/analysis/modules/integer.py index 056bcbe0..d72c9447 100644 --- a/mythril/analysis/modules/integer.py +++ b/mythril/analysis/modules/integer.py @@ -82,10 +82,8 @@ def _check_integer_overflow(statespace, state, node): logging.debug("[INTEGER_OVERFLOW] no model found") return issues - ''' if not _verify_integer_overflow(statespace, node, expr, state, model, constraint, op0, op1): return issues - ''' # Build issue issue = Issue(node.contract_name, node.function_name, instruction['address'], "Integer Overflow ", "Warning")