Better slicing of programs with jumps and switches

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2306, Issue , 2002, Pages 96-112

  Kumar, Sumit ^a   Horwitz, Susan ^a,b  

^a UNIVERSITY OF WISCONSIN   (United States)

^b GRAMMATECH INC   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

PROGRAM DEBUGGING; SOFTWARE ENGINEERING; SOFTWARE TESTING;

NEW APPROACHES; PROGRAM SLICING; PROGRAMMING TOOLS;

C (PROGRAMMING LANGUAGE);

EID: 77949398482     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45923-5_7     Document Type: Conference Paper

References (13)

1. H. Agrawal. On slicing programs with jump statements. In Proc. ACM Conf. on Programming Language Design and Implementation (PLDI), pages 302–312, June 1994.
2. T. Ball and S. Horwitz. Slicing programs with arbitrary control flow. In Lecture Notes in Computer Science, volume 749, New York, NY, November 1993. Springer- Verlag.
3. J. Choi and J. Ferrante. Static slicing in the presence of goto statements. ACM Trans. on Programming Languages and Systems, 16(4):1097–1113, July 1994.
4. J. Ferrante, K. Ottenstein, and J. Warren. The program dependence graph and its use in optimization. ACM Trans. on Programming Languages and Systems, 9(3):319–349, July 1987.
5. M. Harman and S. Danicic. A new algorithm for slicing unstructured programs. Jrnl. of Software Maintenance, 10(6):415–441, Nov./Dec. 1998.
6. http://www.codesurfer.com.
7. http://www.infosun.fmi.uni-passau.de/st/staff/krinke/slicing/.
8. S. Kumar and S. Horwitz. Better slicing of programs with jumps and switches. Technical Report TR-1429, Computer Sciences, University of Wisconsin-Madison, 2001.
9. K. Ottenstein and L. Ottenstein. The program dependence graph in a software development environment. In Proc. ACM SIGSOFT/SIGPLAN Software Engineering Symp. on Practical Software Development Environments, pages 177–184, 1984.
10. A. Podgurski and L. Clarke. A formal model of program dependences and its implications for software testing, debugging, and maintenance. IEEE Trans. on Software Engineering, 16(9):965–979, September 1990.
11. S. Schoenig and M. Ducassé. A backward slicing algorithm for Prolog. In Lecture Notes in Computer Science, volume 1145, pages 317–331, New York, NY, 1996. Springer-Verlag.
12. S. Sinha, M. Harrold, and G. Rothermel. System-dependence-graph-based slicing of programs with arbitrary interprocedural control flow. In Int. Conf. on Software Engineering, pages 432–441, May 1999.
13. M. Weiser. Program slicing. IEEE Trans. on Software Engineering, SE-10(4):352–357, July 1984.