From 4b2592431bec5d1277b1fd26ef4e517777e13732 Mon Sep 17 00:00:00 2001 From: Joran Honig Date: Fri, 20 Apr 2018 12:08:49 +0200 Subject: [PATCH] Edit comments and spacing --- 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 88a31ede..dd742be6 100644 --- a/mythril/analysis/modules/integer.py +++ b/mythril/analysis/modules/integer.py @@ -60,7 +60,6 @@ def _check_integer_overflow(statespace, state, node): op0, op1 = stack[-1], stack[-2] # An integer overflow is possible if op0 + op1 or op0 * op1 > MAX_UINT - # Do a type check allowed_types = [int, BitVecRef, BitVecNumRef] if not (type(op0) in allowed_types and type(op1) in allowed_types): @@ -83,6 +82,7 @@ def _check_integer_overflow(statespace, state, node): 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") issue.description = "A possible integer overflow exists in the function `{}`.\n" \