A new algorithm for slicing unstructured programs

Journal of Software Maintenance and Evolution

Volumn 10, Issue 6, 1998, Pages 415-441

  Harman, Mark ^a   Danicic, Sebastian ^b  

^a UNIVERSITY OF LONDON   (United Kingdom)

^b LONDON METROPOLITAN UNIVERSITY   (United Kingdom)

Author keywords

Agrawal's algorithm; Goto statements; Legacy systems; Lexical successor; Slice thinness; Slicing; Unnecessary predicates; Unstructured programs

Indexed keywords

ALGORITHMS; LEGACY SYSTEMS;

AGRAWAL ALGORITHMS; UNSTRUCTURED PROGRAMS;

COMPUTER SOFTWARE MAINTENANCE;

EID: 0032208376     PISSN: 1532060X     EISSN: None     Source Type: Journal    
DOI: 10.1002/(sici)1096-908x(199811/12)10:6<415::aid-smr180>3.0.co;2-z     Document Type: Article

References (42)

1. Agrawal, H. (1994) 'On slicing programs with jump statements', in ACM SIGPLAN Conference on Programming Language Design and Implementation, SIGPLAN Notices, 29(6), 302-312.
2. Agrawal, H. and Horgan, J. R. (1990) 'Dynamic program slicing', in ACM SIGPLAN Conference on Programming Language Design and Implementation, ACM, New York, pp. 246-256.
3. Alstrup, S., Harel, D., Lauridsen, P. W. and Thorup, M. (1997) 'Dominators in linear time', Technical Report DIKU 97/28, Department of Computer Science, University of Copenhagen, 17pp.
4. Ball, T. and Horwitz, S. (1993) 'Slicing programs with arbitrary control-flow', in Fritzson, P. (Ed), 1st Conference on Automated Algorithmic Debugging, Springer, Berlin, pp. 206-222. Also available as Technical Report (in extended form) TR-1128, University of Wisconsin-Madison, December 1992, 25pp.
5. Ball, T. and Horwitz, S. (1993) 'Slicing programs with arbitrary control-flow', in Fritzson, P. (Ed), 1st Conference on Automated Algorithmic Debugging, Springer, Berlin, pp. 206-222. Also available as Technical Report (in extended form) TR-1128, University of Wisconsin-Madison, December 1992, 25pp.
6. Beck, J. and Eichmann, D. (1993) 'Program and interface slicing for reverse engineering', in IEEE/ACM 15th Conference on Software Engineering (ICSE'93), IEEE Computer Society Press, Los Alamitos CA, pp. 509-518.
7. Bieman, J. M. and Ott, L. M. (1994) 'Measuring functional cohesion', IEEE Transactions on Software Engineering, 20(8), 644-657.
8. Binkley, D. W. (1998) 'The application of program slicing to regression testing', in Harman, M. and Gallagher, K. (Eds), Journal of Information and Software Technology Special Issue on Program Slicing, in press.
9. Binkley, D. W. and Gallagher, K. B. (1996) 'Program slicing', in Zelkowitz, M. (Ed), Advances in Computers, Volume 43, Academic Press, Troy MO, pp. 1-50.
10. Canfora, G., Cimitile, A. and De Lucia, A. (1998) 'Conditioned program slicing', in Harman, M. and Gallagher, K. (Eds), Journal of Information and Software Technology Special Issue on Program Slicing, in press.
11. Choi, J. and Ferrante, J. (1994) 'Static slicing in the presence of goto statements', ACM Transactions on Programming Languages and Systems, 16(4), 1097-1113.
12. Climitile, A., De Lucia, A. and Munro, M. (1996) 'A specification driven slicing process for identifying reusable functions'. Journal of Software Maintenance: Research and Practice, 8(3), 145-178.
13. Danicic, S., Harman, M. and Sivagurunathan, Y. (1995) 'A parallel algorithm for static program slicing', Information Processing Letters, 56(6), 307-313.
14. De Lucia, A., Fasolino, A. R. and Munro, M. (1996) 'Understanding function behaviours through program slicing', in 4th IEEE Workshop on Program Comprehension, IEEE Computer Society Press, Los Alamitos CA, pp. 9-18.
15. Ferrante, J., Ottenstein, K. J. and Warren, J. D. (1987) The program dependence graph and its use in optimization', ACM Transactions on Programming Languages and Systems, 9(3), 319-349.
16. Field, J., Ramalingam, G. and Tip, F. (1995) 'Parametric program slicing', in 22nd ACM Symposium on Principles of Programming Languages, Association for Computing Machinery (ACM) Press, New York, pp. 379-392.
17. Gallagher, K. B. and Lyle, J. R. (1991) 'Using program slicing in software maintenance', IEEE Transactions on Software Engineering, 17(8), 751-761.
18. Gupta, R., Harrold, M. J. and Soffa, M. L. (1992) 'An approach to regression testing using slicing', in Proceedings of the IEEE Conference on Software Maintenance, IEEE Computer Society Press, Los Alamitos CA, pp. 299-308.
19. Harman, M. and Danicic, S. (1995) 'Using program slicing to simplify testing', Journal of Software Testing, Verification and Reliability, 5(3), 143-162.
20. Harman, M. and Danicic, S. (1997) 'Amorphous program slicing', in 5th IEEE Internation Workshop on Program Comprehension (IWPC'97), IEEE Computer Society Press, Los Alamitos CA, pp. 70-79.
21. Hecht, M. S. (1977) Flow Analysis of Computer Programs, Elsevier, New York, 195pp.
22. Horwitz, S., Prins, J. and Reps, T. (1989) 'Integrating non-interfering versions of programs', ACM Transactions on Programming Languages and Systems, 11(3), 345-387.
23. Horwitz, S., Reps, T. and Binkley, D. (1990) 'Interprocedural slicing using dependence graphs', ACM Transactions on Programming Languages and Systems, 12(1), 26-61.
24. Jackson, D. and Rollins, E. J. (1994) 'Chopping: a generalization of slicing', Technical Report CMU-CS-94-169, School of Computer Science, Carnegie Mellon University, Pittsburgh PA, 21pp.
25. Kamkar, M. (1993) Interprocedural dynamic slicing with applications to debugging and testing, Ph.D. Thesis, Department of Computer Science and Information Science, Linköping University, Sweden. Available as Linköping Studies in Science and Technology, Dissertations, Number 297, 190pp.
26. Korel, B. (1995) 'Computation of dynamic slices for programs with arbitrary control flow', in Ducassé, M. (Ed), 2nd International Workshop on Automated Algorithmic Debugging (AADEBUG'95), Saint Malo.
27. Korel, B. and Laski, J. (1988) 'Dynamic program slicing', Information Processing Letters, 29(3), 155-163.
28. Krinke, J. and Snelting, G. (1998) 'Validation of measurement software as an application of slicing and constraint solving', in Harman, M. and Gallagher, K. (Eds), Journal of Information and Software Technology Special Issue on Program Slicing, Elsevier.
29. Lakhotia, A. (1993) 'Rule-based approach to computing module cohesion', in Proceedings of the 15th Conference on Software Engineering (ICSE-15), IEEE Computer Society Press, Los Alamitos CA, pp. 34-44.
30. Lakhotia, A. and Deprez, J.-C. (1997) 'Precise slices of block-structured programs with goto statements'. Unpublished manuscript, copy available upon request from Mark Harman.
31. Lakhotia, A. and Deprez, J.-C. (1998) 'Restructuring programs by tucking statements into functions', in Harman, M. and Gallagher, K. (Eds), Journal of Information and Software Technology Special Issue on Program Slicing, Elsevier.
32. Liu, L. and Ellis, R. (1993) 'An approach to eliminating COMMON blocks and deriving ADTs from Fortran programs', Technical Report, School of Computer Science, University of Westminster, UK, 12pp.
33. Lyle, J. R. and Weiser, M. (1987) 'Automatic program bug location by program slicing', in 2nd International Conference on Computers and Applications, IEEE Computer Society Press, Los Alamitos CA, pp. 877-882.
34. Ott, L. M. and Thuss, J. J. (1993) 'Slice based metrics for estimating cohesion', in Proceedings of the IEEE-CS International Metrics Symposium, IEEE Computer Society Press, Los Alamitos CA, pp. 71-81.
35. Ottenstein, K. J. and Ottenstein, L. M. (1984) 'The program dependence graph in software development environments', SIGPLAN Notices, 19(5), 177-184.
36. Reps, T., Horwitz, S., Sagiv, M. and Rosay, G. (1994) 'Speeding up slicing', in ACM Foundations of Software Engineering (FSE'94), Association for Computing Machinery (ACM) Press, New York, pp. 11-20.
37. Shahmehri, N. (1991) Generalized algorithmic debugging, Ph.D. Thesis, Department of Computer Science and Information Science, Linköping University, Sweden, 189pp. Available as Linköping Studies in Science and Technology, Dissertations, Number 260.
38. Simpson, D., Valentine, S. H., Mitchell, R., Liu, L. and Ellis, R. (1993) 'Recoup - maintaining Fortran', ACM Fortran Forum, 12(3), 26-32.
39. Tip, F. (1995) 'A survey of program slicing techniques', Journal of Programming Languages, 3(3), 121-189.
40. Weiser, M. (1979) Program slices: formal, psychological, and practical investigations of an automatic program abstraction method, Ph.D. thesis, University of Michigan, Ann Arbor MI, 256pp.
41. Weiser, M. (1983) 'Reconstructing sequential behavior from parallel behaviour projections', Information Processing Letters, 17(3), 129-135.
42. Weiser, M. (1984) 'Program slicing', IEEE Transactions on Software Engineering, 10(4), 352-357.