def suicide_(self, global_state: GlobalState):
        """

        :param global_state:
        """
        target = global_state.mstate.stack.pop()
        account_created = False
        # 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, BitVec) and not target.symbolic:
            target = "0x" + hex(target.value)[-40:]
        if isinstance(target, str):
            try:
                global_state.world_state[
                    target
                ].balance += global_state.environment.active_account.balance
            except KeyError:
                global_state.world_state.create_account(
                    address=target,
                    balance=global_state.environment.active_account.balance,
                )
                account_created = True

        global_state.environment.active_account = deepcopy(
            global_state.environment.active_account
        )
        global_state.accounts[
            global_state.environment.active_account.address
        ] = global_state.environment.active_account

        global_state.environment.active_account.balance = 0
        global_state.environment.active_account.deleted = True
        global_state.current_transaction.end(global_state)
def suicide_ ( self , global_state : GlobalState ) : target = global_state . mstate . stack . pop ( ) account_created = False if isinstance ( target , BitVec ) and not target . symbolic : target = "0x" + hex ( target . value ) [ - 40 : ] if isinstance ( target , str ) : try : global_state . world_state [ target ] . balance += global_state . environment . active_account . balance except KeyError : global_state . world_state . create_account ( address = target , balance = global_state . environment . active_account . balance , ) account_created = True global_state . environment . active_account = deepcopy ( global_state . environment . active_account ) global_state . accounts [ global_state . environment . active_account . address ] = global_state . environment . active_account global_state . environment . active_account . balance = 0 global_state . environment . active_account . deleted = True global_state . current_transaction . end ( global_state )
:param global_state: