angr/analyses/backward_slice.py
def _pick_exit(self, block_address, stmt_idx, target_ips):
        """
        Include an exit in the final slice.

        :param block_address:   Address of the basic block.
        :param stmt_idx:        ID of the exit statement.
        :param target_ips:      The target address of this exit statement.
        """

        # TODO: Support context-sensitivity

        tpl = (stmt_idx, target_ips)
        if tpl not in self.chosen_exits[block_address]:
            self.chosen_exits[block_address].append(tpl)

        Include an exit in the final slice.

        :param block_address:   Address of the basic block.
        :param stmt_idx:        ID of the exit statement.
        :param target_ips:      The target address of this exit statement.
        
Include an exit in the final slice.
Include an exit in the final slice .
def _pick_exit(self, block_address, stmt_idx, target_ips):
        tpl = (stmt_idx, target_ips)
        if tpl not in self.chosen_exits[block_address]:
            self.chosen_exits[block_address].append(tpl)
def _pick_exit ( self , block_address , stmt_idx , target_ips ) : tpl = ( stmt_idx , target_ips ) if tpl not in self . chosen_exits [ block_address ] : self . chosen_exits [ block_address ] . append ( tpl )
Include an exit in the final slice.
Include an exit in the final slice .
"""
        Include an exit in the final slice.

        :param block_address:   Address of the basic block.
        :param stmt_idx:        ID of the exit statement.
        :param target_ips:      The target address of this exit statement.
        """ # TODO: Support context-sensitivity
self
block_address
Address of the basic block.
Address of the basic block .
stmt_idx
ID of the exit statement.
ID of the exit statement .
target_ips
The target address of this exit statement.
The target address of this exit statement .