Theory and algorithms for slicing unstructured programs

Information and Software Technology

Volumn 48, Issue 7, 2006, Pages 549-565

  Harman, Mark ^a   Lakhotia, Arun ^b   Binkley, David ^c  

^a KING'S COLLEGE LONDON   (United Kingdom)

^b UNIVERSITY OF LOUISIANA AT LAFAYETTE   (United States)

^c LOYOLA UNIVERSITY MARYLAND   (United States)

Author keywords

Amorphous slicing; Program slicing; Unstructured control flow

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTATIONAL METHODS; LAWS AND LEGISLATION; SOFTWARE ENGINEERING; SYNTACTICS;

AMORPHOUS SLICING; PROGRAM SLICING; UNSTRUCTURED CONTROL-FLOW;

ALGORITHMS;

EID: 33646516836     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.infsof.2005.06.001     Document Type: Article

References (35)

1. Hiralal Agrawal, On slicing programs with jump statements, in: ACM SIGPLAN Conference on Programming Language Design and Implementation. Orlando, Florida, June 20-24, 1994, pp. 302-312. Proceedings in SIGPLAN Notices, vol. 29(6), June 1994.
2. Ball T., and Horwitz S. Slicing programs with arbitrary control-flow. In: Fritzson P. (Ed). 1st Conference on Automated Algorithmic Debugging, Linköping, Sweden (1993), Springer 206-222 (Also available as University of Wisconsin-Madison, technical report (in extended form), TR-1128, December, 1992)
3. Jon Beck, David Eichmann, Program and interface slicing for reverse engineering, in: IEEE/ACM 15th Conference on Software Engineering (ICSE'93), IEEE Computer Society Press, Los Alamitos, California, USA, 1993, pp. 509-518.
4. Binkley D.W. Precise executable interprocedural slices. ACM Letters on Programming Languages and Systems 2 1-4 (1993) 31-45
5. David Wendell Binkley, Computing amorphous program slices using dependence graphs and a data-flow model, in: ACM Symposium on Applied Computing, The Menger, San Antonio, Texas, USA, ACM Press, New York, NY, USA, 1999, pp. 519-525.
6. Binkley D.W., and Gallagher K.B. In: Zelkowitz M. (Ed). Program Slicing. Advances in Computing vol. 43 (1996), Academic Press, New York 1-50
7. Binkley D.W., and Harman M. A survey of empirical results on program slicing. Advances in Computers 62 (2004) 105-178
8. Binkley D.W., Horwitz S., and Reps T. Program integration for languages with procedure calls. ACM Transactions on Software Engineering and Methodology 4 1 (1995) 3-35
9. Canfora G., Cimitile A., and De Lucia A. In: Harman M., and Gallagher K. (Eds). Conditioned program slicing. Information and Software Technology Special Issue on Program Slicing vol. 40 (1998), Elsevier Science B.V., Amsterdam 595-607
10. Gerardo Canfora, Aniello Cimitile, Andrea De Lucia, G.A. Di Lucca, Software salvaging based on conditions, in: International Conference on Software Maintenance (ICSM'96), Victoria, Canada, September, IEEE Computer Society Press, Los Alamitos, California, USA, 1994, pp. 424-433.
11. Choi J.-D., and Ferrante J. Static slicing in the presence of goto statements. ACM Transactions on Programming Languages and Systems 16 4 (1994) 1097-1113
12. Cimitile A., De Lucia A., and Munro M. A specification driven slicing process for identifying reusable functions. Software Maintenance: Research and Practice 8 (1996) 145-178
13. Andrea De Lucia, Program slicing: methods and applications, in 1st IEEE International Workshop on Source Code Analysis and Manipulation, Florence, Italy, IEEE Computer Society Press, Los Alamitos, California, USA, 2001, pp. 142-149.
14. Andrea De Lucia, Anna Rita Fasolino, Malcolm Munro. Understanding function behaviours through program slicing, in 4th IEEE Workshop on Program Comprehension, Berlin, Germany, March. IEEE Computer Society Press, Los Alamitos, California, USA, 1996, pp. 9-18.
15. Ferrante J., Ottenstein K.J., and Warren J.D. The program dependence graph and its use in optimization. ACM Transactions on Programming Languages and Systems 9 3 (1987) 319-349
16. Fischer C.N., and LeBlanc R.J. Crafting a Compiler. Benjamin/Cummings Series in Computer Science (1988), Benjamin/Cummings Publishing Company, Menlo Park, CA
17. Keith Gallagher B., and Lyle J.R. Using program slicing in software maintenance. IEEE Transactions on Software Engineering 17 8 (1991) 751-761
18. Harman M., Binkley D.W., and Danicic S. Amorphous program slicing. Journal of Systems and Software 68 1 (2003) 45-64
19. Mark Harman, Sebastian Danicic. Amorphous program slicing, in: 5th IEEE International Workshop on Program Comprenhesion (IWPC'97), Dearborn, Michigan, USA, May, IEEE Computer Society Press, Los Alamitos, California, USA, 1997, pp. 70-79.
20. Harman M., and Danicic S. A new algorithm for slicing unstructured programs. Journal of Software Maintenance and Evolution 10 6 (1998) 415-441
21. Harman M., and Hierons R.M. An overview of program slicing. Software Focus 2 3 (2001) 85-92
22. Michael Hind, Pointer analysis: haven't we solved this problem yet? in Proceedings of the 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE'01) (Snowbird, Utah, June 18-19, 2001), New York, NY, ACM, 2001, pp. 198-209.
23. Horwitz S., Prins J., and Reps T. Integrating non-interfering versions of programs. ACM Transactions on Programming Languages and Systems 11 3 (1989) 345-387
24. Mariam Kamkar, Interprocedural dynamic slicing with applications to debugging and testing, PhD Thesis, Department of Computer Science and Information Science, Linköping University, Sweden. Available as Linköping Studies in Science and Technology, Dissertations, Number 297, 1993.
25. Sumit Kumar, Susan Horwitz, Better slicing of programs with jumps and switches, in: Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering (FASE 2002) of Lecture Notes in Computer Science, vol. 2306, Springer, 2002, pp. 96-112.
26. Lakhotia A., and Deprez J.-C. In: Harman M., and Gallagher K. (Eds). Restructuring Programs by Tucking Statements into Functions,. Information and Software Technology Special Issue on Program Slicing vol. 40 (1998), Elsevier 677-689
27. James R. Lyle, Mark Weiser, Automatic program bug location by program slicing, in: 2nd International Conference on Computers and Applications, Peking, IEEE Computer Society Press, Los Alamitos, California, USA, 1987, pp. 877-882.
28. Ottenstein K.J., and Ottenstein L.M. The program dependence graph in software development environments. SIGPLAN Notices 19 5 (1984) 177-184
29. Ramshaw L. Eliminating goto's while preserving program structure. Journal of the ACM 35 4 (1988) 893-920
30. Thomas Reps, Wuu Wang, The semantics of program slicing and program integration, in: Colloquium on Current Issues in Programming Languages (Barcelona, Spain, March 13-17, 1989), Lecture Notes in Computer Science, Springer-Verlag, New York, NY, vol. 352, 1989, pp. 360-374.
31. Nahid Shahmehri, Generalized algorithmic debugging. PhD Thesis, Department of Computer Science and Information Science, Linköping University, Sweden. Available as Linköping Studies in Science and Technoloy, Dissertations, Number 260, 1991.
32. Shapiro M., and Horwitz S. The effects of the precision of pointer analysis. Lecture Notes in Computer Science 1302 (1997) 16-34
33. Tip F. A survey of program slicing techniques. Technical Report CS-R9438, Centrum voor Wiskunde en Informatica, Amsterdam (1994)
34. Martin Ward, Program slicing via FermaT transformations, in: 26th IEEE Annual Computer Software and Applications Conference (COMPSAC 2002), Oxford, UK, August, IEEE Computer Society Press, Los Alamitos, California, USA, 2002, pp. 357-362.
35. Weiser M. Program slicing. IEEE Transactions on Software Engineering 10 4 (1984) 352-357