diff --git a/mythril/analysis/modules/ether_thief.py b/mythril/analysis/modules/ether_thief.py index 67df35cd..c1c5c442 100644 --- a/mythril/analysis/modules/ether_thief.py +++ b/mythril/analysis/modules/ether_thief.py @@ -120,8 +120,6 @@ class EtherThief(DetectionModule): state.current_transaction.caller == ATTACKER_ADDRESS, ] - log.debug("Constraints: %s", constraints) - try: transaction_sequence = solver.get_transaction_sequence(state, constraints) @@ -145,10 +143,6 @@ class EtherThief(DetectionModule): log.debug("No model found") return [] - log.debug("Found ether thief issue: %s", issue.as_dict) - - log.debug("Model: %s", solver.pretty_print_model(solver.get_model(constraints))) - return [issue] diff --git a/mythril/laser/ethereum/state/account.py b/mythril/laser/ethereum/state/account.py index b5dcb3ae..929efea7 100644 --- a/mythril/laser/ethereum/state/account.py +++ b/mythril/laser/ethereum/state/account.py @@ -99,7 +99,6 @@ class Storage: return storage[item] except ValueError as e: log.debug("Couldn't read storage at %s: %s", item, e) - pass return simplify(storage[item])