angr/analyses/backward_slice.py
def dbg_repr(self, max_display=10):
        """
        Debugging output of this slice.

        :param max_display: The maximum number of SimRun slices to show.
        :return:            A string representation.
        """

        s = repr(self) + "\n"

        if len(self.chosen_statements) > max_display:
            s += "%d SimRuns in program slice, displaying %d.\n" % (len(self.chosen_statements), max_display)
        else:
            s += "%d SimRuns in program slice.\n" % len(self.chosen_statements)

        # Pretty-print the first `max_display` basic blocks
        if max_display is None:
            # Output all
            run_addrs = sorted(self.chosen_statements.keys())

        else:
            # Only output the first "max_display" ones
            run_addrs = sorted(self.chosen_statements.keys())[ : max_display]

        for run_addr in run_addrs:
            s += self.dbg_repr_run(run_addr) + "\n"

        return s

        Debugging output of this slice.

        :param max_display: The maximum number of SimRun slices to show.
        :return:            A string representation.
        
Debugging output of this slice.
Debugging output of this slice .
def dbg_repr(self, max_display=10):
        s = repr(self) + "\n"
        if len(self.chosen_statements) > max_display:
            s += "%d SimRuns in program slice, displaying %d.\n" % (len(self.chosen_statements), max_display)
        else:
            s += "%d SimRuns in program slice.\n" % len(self.chosen_statements)
        if max_display is None:
            run_addrs = sorted(self.chosen_statements.keys())
        else:
            run_addrs = sorted(self.chosen_statements.keys())[ : max_display]
        for run_addr in run_addrs:
            s += self.dbg_repr_run(run_addr) + "\n"
        return s
def dbg_repr ( self , max_display = 10 ) : s = repr ( self ) + "\n" if len ( self . chosen_statements ) > max_display : s += "%d SimRuns in program slice, displaying %d.\n" % ( len ( self . chosen_statements ) , max_display ) else : s += "%d SimRuns in program slice.\n" % len ( self . chosen_statements ) if max_display is None : run_addrs = sorted ( self . chosen_statements . keys ( ) ) else : run_addrs = sorted ( self . chosen_statements . keys ( ) ) [ : max_display ] for run_addr in run_addrs : s += self . dbg_repr_run ( run_addr ) + "\n" return s
Debugging output of this slice.
Debugging output of this slice .
"""
        Debugging output of this slice.

        :param max_display: The maximum number of SimRun slices to show.
        :return:            A string representation.
        """ # Pretty-print the first `max_display` basic blocks # Output all # Only output the first "max_display" ones
A string representation.
A string representation .
self
max_display
The maximum number of SimRun slices to show.
The maximum number of SimRun slices to show .