Bump laser version

mythril/analysis/modules/integer.py

@@ -182,7 +182,6 @@ def _check_integer_underflow(statespace, state, node):
                 # If we get to this point then there has been an integer overflow
                 # Find out if the overflowed value is actually used
                 interesting_usages = _search_children(statespace, node, (op0 - op1), index=node.states.index(state))
-                logging.debug(interesting_usages)
 
                 # Stop if it isn't
                 if len(interesting_usages) == 0:
@@ -230,7 +229,6 @@ def _check_taint(statement, expression):
 
 def _check_jumpi(state, expression):
     """ Check if conditional jump is dependent on the result of expression"""
-    logging.debug(state.get_current_instruction()['opcode'])
     assert state.get_current_instruction()['opcode'] == 'JUMPI'
     condition = state.mstate.stack[-2]
     return _check_taint(condition, expression)
@@ -238,7 +236,6 @@ def _check_jumpi(state, expression):
 
 def _check_sstore(state, expression):
     """ Check if store operation is dependent on the result of expression"""
-    logging.debug(state.get_current_instruction()['opcode'])
     assert state.get_current_instruction()['opcode'] == 'SSTORE'
     value = state.mstate.stack[-2]
     return _check_taint(value, expression)

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.4
+laser-ethereum>=0.17.5
 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.4"
+VERSION = "v0.17.5"
 
 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.4',
+        'laser-ethereum>=0.17.5',
         'requests',
         'BTrees',
         'py-solc',