Visualizing program slices

Abstract

Program slicing is an automatic technique for determining which code in a program is relevunt to a particular computation. Slicing has been applied in many areas, including program understanding, debugging, and maintenance. However, little attention has been paid to suitable interfaces for exploring program slices. We present an intelface for program slicing that allows slicing at the statement, procedure, orBle level, ana' provides fast visual feedback on slice structure. Integral to the intelface is a global visualization of the program that shows the extent of a slice as it crosses procedure ana'jle boundaries, and facilitates quick browsing of numerous slices.

A study of effectiveness of dynamic slicing in locating real faults

“…We would also like to point out that, while examining the statements in a dynamic slice, the relevance of dependence distance from the erroneous output has long been considered useful (Antoniol et al, 1997;Ball and Eick, 1994;Krinke, 2004). Therefore in tools for visualizing dynamic slices, ways have been explored to communicate to the programmer the dependence distance information.…”

Source Code Analysis: A Road Map

“…• program evolution [9,118] • quality assessment [107,66] • reverse engineering † [21] • safety critical † [54] • software maintenance [52,30] • software reliability engineering † [78] • software versioning [112,43] • specification semantics [113] • symbolic execution [2,67] • testing † [10,53] • tools and environments † [119] • validation (conformity checking) • verification, sound formal [18] • verification, unsound syntactic [17,29,65] • visualizations of analysis results [14,93,99,4,16] • web application development † [63] Debugging. The first representative example is debugging, which is one of the hardest, yet least systematic activities in software engineering.…”

Security Framework to Verify the Low Level Implementation Codes

“…Program slicing is widely used in program comprehension, debugging, testing, maintenance [5] and integration of program version (e.g., [2,3,4]). A program slice of a program P with respect to a slicing criterion <p,V>, for a p a location in P and V a set of variables in P referenced at p, is the set of statements and predicates in P that might affect the value of variables in V at p [5].…”

“…Program slicing is a fundamental operation for many software engineering tools, including tools for program understanding, debuging, maintenance, testing, and integration [2,3]. Slicing was first defined by Mark Weiser,who gave algorithms for computing both intra-and interprocedural slices [4,5].…”

“…We slice the program to get the necessary statements, which directly or indirectly affects the implementation of Security features in the given program. And with the state's definition, locating and forming criterion provided, we turn the RCFG (Reduced-Control-Flow-Graph) to State transition diagram to represent the security features in the program [2,3,4].…”