From e0e92630b9dd6d6b46df112733ade7fd23ef2c00 Mon Sep 17 00:00:00 2001 From: Joran Honig Date: Wed, 25 Jul 2018 13:58:05 +0200 Subject: [PATCH] cleanup --- mythril/analysis/modules/integer.py | 1 - mythril/analysis/solver.py | 2 +- mythril/laser/ethereum/svm.py | 2 +- 3 files changed, 2 insertions(+), 3 deletions(-) diff --git a/mythril/analysis/modules/integer.py b/mythril/analysis/modules/integer.py index 1c990e60..f89c0781 100644 --- a/mythril/analysis/modules/integer.py +++ b/mythril/analysis/modules/integer.py @@ -30,7 +30,6 @@ def execute(statespace): node = statespace.nodes[k] for state in node.states: - # pass issues += _check_integer_underflow(statespace, state, node) issues += _check_integer_overflow(statespace, state, node) diff --git a/mythril/analysis/solver.py b/mythril/analysis/solver.py index 01633956..9c5a2dd0 100644 --- a/mythril/analysis/solver.py +++ b/mythril/analysis/solver.py @@ -12,7 +12,7 @@ def get_model(constraints): if result == sat: return s.model() elif result == unknown: - logging.error("Timeout encountered while solving expression using z3") + logging.info("Timeout encountered while solving expression using z3") raise UnsatError diff --git a/mythril/laser/ethereum/svm.py b/mythril/laser/ethereum/svm.py index 98a0ba9d..61899681 100644 --- a/mythril/laser/ethereum/svm.py +++ b/mythril/laser/ethereum/svm.py @@ -70,7 +70,7 @@ class LaserEVM: try: new_states, op_code = self.execute_state(global_state) except NotImplementedError: - logging.error("Encountered unimplemented instruction: {}".format(op_code)) + logging.info("Encountered unimplemented instruction: {}".format(op_code)) continue if len(new_states) == 0: