(self, input_state, sim_successors, cfg_node, successors)
return successors
:return:
def _add_additional_edges(self, input_state, sim_successors, cfg_node, successors):
        """

        :return:
        """

        # If we have additional edges for this block, add them in
        addr = cfg_node.addr

        if addr in self._additional_edges:
            dests = self._additional_edges[addr]
            for dst in dests:
                if sim_successors.sort == 'IRSB':
                    base_state = sim_successors.all_successors[0].copy()
                else:
                    if successors:
                        # We try to use the first successor.
                        base_state = successors[0].copy()
                    else:
                        # The SimProcedure doesn't have any successor (e.g. it's a PathTerminator)
                        # We'll use its input state instead
                        base_state = input_state
                base_state.ip = dst
                # TODO: Allow for sp adjustments
                successors.append(base_state)
                l.debug("Additional jump target %#x for block %s is appended.", dst, sim_successors.description)

        return successors
def _add_additional_edges ( self , input_state , sim_successors , cfg_node , successors ) : # If we have additional edges for this block, add them in addr = cfg_node . addr if addr in self . _additional_edges : dests = self . _additional_edges [ addr ] for dst in dests : if sim_successors . sort == 'IRSB' : base_state = sim_successors . all_successors [ 0 ] . copy ( ) else : if successors : # We try to use the first successor. base_state = successors [ 0 ] . copy ( ) else : # The SimProcedure doesn't have any successor (e.g. it's a PathTerminator) # We'll use its input state instead base_state = input_state base_state . ip = dst # TODO: Allow for sp adjustments successors . append ( base_state ) l . debug ( "Additional jump target %#x for block %s is appended." , dst , sim_successors . description ) return successors