From e2a5308016405cf5b2074f1383200a03322c79a5 Mon Sep 17 00:00:00 2001 From: Bernhard Mueller Date: Tue, 27 Nov 2018 08:02:25 +0700 Subject: [PATCH] Fix an issue in suicide module --- mythril/analysis/modules/suicide.py | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/mythril/analysis/modules/suicide.py b/mythril/analysis/modules/suicide.py index 7a21b990..c7b13ead 100644 --- a/mythril/analysis/modules/suicide.py +++ b/mythril/analysis/modules/suicide.py @@ -24,11 +24,14 @@ def _analyze_state(state): try: try: transaction_sequence = solver.get_transaction_sequence( - state, node.constraints + state, + node.constraints + [to == 0xDEADBEEFDEADBEEFDEADBEEFDEADBEEFDEADBEEF], ) description = "Anyone can kill this contract and withdraw its balance to their own account." except UnsatError: - transaction_sequence = solver.get_transaction_sequence(state, constraints) + transaction_sequence = solver.get_transaction_sequence( + state, node.constraints + ) description = ( "The contract can be killed by anyone. Don't accidentally kill it." )