Bump LASER version

mythril/analysis/modules/integer.py

@@ -82,8 +82,10 @@ 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")

requirements.txt

@@ -2,7 +2,7 @@ rlp<1.0.0
 ethereum>=2.3.0
 ZODB>=5.3.0
 z3-solver>=4.5
-laser-ethereum>=0.17.3
+laser-ethereum>=0.17.4
 requests
 BTrees
 plyvel

setup.py

@@ -5,7 +5,7 @@ import os
 # Package version (vX.Y.Z). It must match git tag being used for CircleCI
 # deployment; otherwise the build will failed.
 
-VERSION = "v0.17.3"
+VERSION = "v0.17.4"
 
 class VerifyVersionCommand(install):
   """Custom command to verify that the git tag matches our version"""
@@ -307,7 +307,7 @@ setup(
         'ethereum>=2.3.0',
         'ZODB>=5.3.0',
         'z3-solver>=4.5',
-        'laser-ethereum>=0.17.3',
+        'laser-ethereum>=0.17.4',
         'requests',
         'BTrees',
         'py-solc',