angr/analyses/backward_slice.py
def dbg_repr_run(self, run_addr):
        """
        Debugging output of a single SimRun slice.

        :param run_addr:    Address of the SimRun.
        :return:            A string representation.
        """

        if self.project.is_hooked(run_addr):
            ss = "%#x Hooked\n" % run_addr

        else:
            ss = "%#x\n" % run_addr

            # statements
            chosen_statements = self.chosen_statements[run_addr]

            vex_block = self.project.factory.block(run_addr).vex

            statements = vex_block.statements
            for i in range(0, len(statements)):
                if i in chosen_statements:
                    line = "+"
                else:
                    line = "-"
                line += "[% 3d] " % i
                line += str(statements[i])
                ss += line + "\n"

            # exits
            targets = self.chosen_exits[run_addr]
            addr_strs = [ ]
            for exit_stmt_id, target_addr in targets:
                if target_addr is None:
                    addr_strs.append("default")
                else:
                    addr_strs.append("%#x" % target_addr)

            ss += "Chosen exits: " + ", ".join(addr_strs)

        return ss

        Debugging output of a single SimRun slice.

        :param run_addr:    Address of the SimRun.
        :return:            A string representation.
        
Debugging output of a single SimRun slice.
Debugging output of a single SimRun slice .
def dbg_repr_run(self, run_addr):
        if self.project.is_hooked(run_addr):
            ss = "%#x Hooked\n" % run_addr
        else:
            ss = "%#x\n" % run_addr
            chosen_statements = self.chosen_statements[run_addr]
            vex_block = self.project.factory.block(run_addr).vex
            statements = vex_block.statements
            for i in range(0, len(statements)):
                if i in chosen_statements:
                    line = "+"
                else:
                    line = "-"
                line += "[% 3d] " % i
                line += str(statements[i])
                ss += line + "\n"
            targets = self.chosen_exits[run_addr]
            addr_strs = [ ]
            for exit_stmt_id, target_addr in targets:
                if target_addr is None:
                    addr_strs.append("default")
                else:
                    addr_strs.append("%#x" % target_addr)
            ss += "Chosen exits: " + ", ".join(addr_strs)
        return ss
def dbg_repr_run ( self , run_addr ) : if self . project . is_hooked ( run_addr ) : ss = "%#x Hooked\n" % run_addr else : ss = "%#x\n" % run_addr chosen_statements = self . chosen_statements [ run_addr ] vex_block = self . project . factory . block ( run_addr ) . vex statements = vex_block . statements for i in range ( 0 , len ( statements ) ) : if i in chosen_statements : line = "+" else : line = "-" line += "[% 3d] " % i line += str ( statements [ i ] ) ss += line + "\n" targets = self . chosen_exits [ run_addr ] addr_strs = [ ] for exit_stmt_id , target_addr in targets : if target_addr is None : addr_strs . append ( "default" ) else : addr_strs . append ( "%#x" % target_addr ) ss += "Chosen exits: " + ", " . join ( addr_strs ) return ss
Debugging output of a single SimRun slice.
Debugging output of a single SimRun slice .
"""
        Debugging output of a single SimRun slice.

        :param run_addr:    Address of the SimRun.
        :return:            A string representation.
        """ # statements # exits
A string representation.
A string representation .
self
run_addr
Address of the SimRun.
Address of the SimRun .