Revert change in int overflow module

7 years ago · 3a43b0334e
parent 88a456c1d4
commit 3a43b0334e
1 changed files with 0 additions and 2 deletions
--- 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")