diff --git a/mythril/analysis/modules/suicide.py b/mythril/analysis/modules/suicide.py index e973946a..eb355cec 100644 --- a/mythril/analysis/modules/suicide.py +++ b/mythril/analysis/modules/suicide.py @@ -66,15 +66,11 @@ class SuicideModule(DetectionModule): transaction_sequence = solver.get_transaction_sequence( state, constraints + [to == ARBITRARY_SENDER_ADDRESS] ) - logging.debug( - "[SUICIDE] To address can't be set. " + node.function_name - ) description = "The contract can be killed by anyone and the attacker can withdraw its balance." except UnsatError: transaction_sequence = solver.get_transaction_sequence( state, constraints ) - logging.debug("[SUICIDE] To address can be set. " + node.function_name) description = "The contract can be killed by anyone." debug = "Transaction Sequence: " + str(transaction_sequence)