Add documentation string to suicide

pull/512/head
Joran Honig 6 years ago
parent 0a6e804019
commit cc62c27992
  1. 2
      mythril/laser/ethereum/instructions.py

@ -980,6 +980,8 @@ class Instruction:
def suicide_(self, global_state): def suicide_(self, global_state):
target = global_state.mstate.stack.pop() 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): if isinstance(target, str):
try: try:
global_state.world_state[target].balance += global_state.environment.active_account.balance global_state.world_state[target].balance += global_state.environment.active_account.balance

Loading…
Cancel
Save