From c9c905cca01e63ce4fe456ea520f362738940873 Mon Sep 17 00:00:00 2001 From: Joran Honig Date: Tue, 8 May 2018 15:00:19 +0200 Subject: [PATCH] Add check requires step --- mythril/analysis/modules/integer.py | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/mythril/analysis/modules/integer.py b/mythril/analysis/modules/integer.py index b85adb1b..77215d11 100644 --- a/mythril/analysis/modules/integer.py +++ b/mythril/analysis/modules/integer.py @@ -148,7 +148,6 @@ def _check_integer_underflow(statespace, state, node): """ issues = [] instruction = state.get_current_instruction() - if instruction['opcode'] == "SUB": stack = state.mstate.stack @@ -265,8 +264,8 @@ def _search_children(statespace, node, expression, taint_result=None, constraint element = _check_usage(current_state, taint_result) if len(element) < 1: continue - # if _check_requires(element[0], node, statespace, constraint): - # pass + if _check_requires(element[0], node, statespace, constraint): + continue results += element # Recursively search children