From cc62c2799287b93fe20650d58c140555824ef681 Mon Sep 17 00:00:00 2001 From: Joran Honig Date: Mon, 17 Sep 2018 10:58:10 +0200 Subject: [PATCH] Add documentation string to suicide --- mythril/laser/ethereum/instructions.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/mythril/laser/ethereum/instructions.py b/mythril/laser/ethereum/instructions.py index 46b64eef..b70cc090 100644 --- a/mythril/laser/ethereum/instructions.py +++ b/mythril/laser/ethereum/instructions.py @@ -980,6 +980,8 @@ class Instruction: def suicide_(self, global_state): target = global_state.mstate.stack.pop() + # Often the target of the suicide instruction will be symbolic + # If it isn't then well transfer the balance to the indicated contract if isinstance(target, str): try: global_state.world_state[target].balance += global_state.environment.active_account.balance