A denotational interprocedural program slicer

Proceedings - Working Conference on Reverse Engineering, WCRE

Volumn 2002-January, Issue , 2002, Pages 181-189

  Ouarbya, Lahcen ^a   Danicic, Sebastian ^a   Daoudi, Mohamed ^a   Harman, Mark ^b   Fox, Chris ^c  

^a UNIVERSITY OF LONDON   (United Kingdom)

^b BRUNEL UNIVERSITY   (United Kingdom)

^c UNIVERSITY OF ESSEX   (United Kingdom)

Author keywords

Interprocedural; Program Slicing; side effects; WSL

Indexed keywords

DATA FLOW ANALYSIS; FLOW GRAPHS; LEGACY SYSTEMS;

CONTROL FLOW GRAPHS; DENOTATIONAL APPROACH; INTER-PROCEDURAL; INTERMEDIATE STRUCTURES; PROGRAM SLICERS; PROGRAM SLICING; SIDE EFFECT; WSL;

REVERSE ENGINEERING;

EID: 0942270626     PISSN: 10951350     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WCRE.2002.1173076     Document Type: Conference Paper

References (42)

1. AGRAWAL, H., DEMILLO, R. A., AND SPAFFORD, E. H. Debugging with dynamic slicing and backtracking. Software Practice and Experience 23, 6 (June 1993), 589-616.
2. th Conference on Software Engineering (ICSE'93) (1993), IEEE Computer Society Press, Los Alamitos, California, USA, pp. 509-518.
3. BIEMAN, J. M., AND OTT, L. M. Measuring functional cohesion. IEEE Transactions on Software Engineering 20, 8 (Aug. 1994), 644-657.
4. BINKLEY, D. W. The application of program slicing to regression testing. In Information and Software Technology Special Issue on Program Slicing, M. Harman and K. Gallagher, Eds., vol. 40. Elsevier, 1998, pp. 583-594.
5. BINKLEY, D. W., AND GALLAGHER, K. B. Program slicing. In Advances of Computing, Volume 43, M. Zelkowitz, Ed. Academic Press, 1996, pp. 1-50.
6. 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.
7. CANFORA, G., CIMITILE, A., DE LUCIA, A., AND LUCCA, G. A. D. Software salvaging based on conditions. In International Conference on Software Maintenance (ICSM'96) (Victoria, Canada, Sept. 1994), IEEE Computer Society Press, Los Alamitos, California, USA, pp. 424-433.
8. 2: Reverse engineering and reuse re-engineering. Journal of Software Maintenance : Research and Practice 6, 2 (1994), 53-72.
9. CIMITILE, A., DE LUCIA, A., AND MUNRO, M. Identifying reusable functions using specification driven program slicing: a case study. In Proceedings of the IEEE International Conference on Software Maintenance (ICSM'95) (Nice, France, 1995), IEEE Computer Society Press, Los Alamitos, California, USA, pp. 124-133.
10. 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.
11. DANICIC, S. Dataflow Minimal Slicing. PhD thesis, University of North London, UK, School of Informatics, Apr. 1999.
12. DANICIC, S., HARMAN, M., AND SIVAGURUNATHAN, Y. A parallel algorithm for static program slicing. Information Processing Letters 56, 6 (Dec. 1995), 307-313.
13. s∗ IEEE International Workshop on Source Code Analysis and Manipulation (Florence, Italy, 2001), IEEE Computer Society Press, Los Alamitos, California, USA, pp. 142-149.
14. th IEEE Workshop on Program Comprehension (Berlin, Germany, Mar. 1996), IEEE Computer Society Press, Los Alamitos, California, USA, pp. 9-18.
15. GALLAGHER, K. B. Evaluating the surgeon's assistant: Results of a pilot study. In Proceedings of the International Conference on Software Maintenance (Nov. 1992), IEEE Computer Society Press, Los Alamitos, California, USA, pp. 236-244.
16. GALLAGHER, K. B., AND LYLE, J. R. Using program slicing in software maintenance. IEEE Transactions on Software Engineering 17, 8 (Aug. 1991), 751-761.
17. GRAMMATECH INC. www.grammatech.com/prod-ucts/codesurfer/codesurfer.html, 1999.
18. GUPTA, R., HARROLD, M. J., AND SOFFA, M. L. An approach to regression testing using slicing. In Proceedings of the IEEE Conference on Software Maintenance (Orlando, Florida, USA, 1992), IEEE Computer Society Press, Los Alamitos, California, USA, pp. 299-308.
19. HARMAN, M., AND DANICIC, S. Using program slicing to simplify testing. Software Testing, Verification and Reliability 5, 3 (Sept. 1995), 143-162.
20. HARMAN, M., AND HIERONS, R. M. An overview of program slicing. Software Focus 2, 3 (2001), 85-92.
21. HARMAN, M., HIERONS, R. M., AND DANICIC, S. The relationship between program dependence and mutation analysis. In Mutation Testing for the New Century (proceedings of Mutation 2000) (San Jose, California, USA, Oct. 2001), W. E. Wong, Ed., Kluwer, pp. 5-13.
22. HARMAN, M., HIERONS, R. M., DANICIC, S., HOWROYD, J., AND FOX, C. Pre/post conditioned slicing. In IEEE International Conference on Software Maintenance (ICSM'01) (Florence, Italy, Nov. 2001), IEEE Computer Society Press, Los Alamitos, California, USA, pp. 138-147.
23. nd, Annual Hawaii International Conference on System Sciences, Volume II (Jan. 1989), pp. 486-495.
24. HECHT, M.S. Flow Analysis of Computer Programs. Elsevier, 1977.
25. HIERONS, R. M., HARMAN, M., AND DANICIC, S. Using program slicing to assist in the detection of equivalent mutants. Software Testing, Verification and Reliability 9, 4 (1999), 233-262.
26. HIERONS, R. M., HARMAN, M., FOX, C, OUARBYA, L., AND DAOUDI, M. Conditioned slicing supports partition testing. Software Testing, Verification and Reliability (Mar. 2002). to appear.
27. HORWITZ, S., PRINS, J., AND REPS, T. Integrating non-interfering versions of programs. ACM Transactions on Programming Languages and Systems 11, 3 (July 1989), 345-387.
28. HORWITZ, S., REPS, T., AND BINKLEY, D. W. Interpro-cedural slicing using dependence graphs. In ACM SIGPLAN Conference on Programming Language Design and Implementation (Atlanta, Georgia, June 1988), pp. 25-46. Proceedings in SIGPLAN Notices, 23(7), pp.35-46, 1988.
29. KAMKAR, M. Interprocedural dynamic slicing with applications to debugging and testing. PhD Thesis, Department of Computer Science and Information Science, Linköping University, Sweden, 1993. Available as Linköping Studies in Science and Technology, Dissertations, Number 297.
30. th Conference on Software Engineering (ICSE-15) (1993), pp. 34-44.
31. nd International Conference on Computers and Applications (Peking, 1987), IEEE Computer Society Press, Los Alamitos, California, USA, pp. 877-882.
32. M.WARD. Assembler to c migration using the fermat transformation system. Internation Conference on Software Maintainance (August 1999).
33. M.WARD, H. A multiple backtracking algorithm. Journal of Symbolic Computation, 1 (1994), 1-40.
34. OTT, L. M., AND THUSS, J. J. Slice based metrics for estimating cohesion. In Proceedings of the IEEE-CS International Metrics Symposium (Baltimore, Maryland, USA, May 1993), IEEE Computer Society Press, Los Alamitos, California, USA, pp. 71-81.
35. S.HORWITZ, T. R., AND D.BINKLEY. Interprocedural slicing using dependance graphs. ACM Trans. Program. Lang. Syst 12, 1 (Jan. 1990), 26-60.
36. SIMPSON, D., VALENTINE, S. H., MITCHELL, R., LIU, L., AND ELLIS, R. Recoup-Maintaining Fortran. ACM Fortran forum 12, 3 (Sept. 1993), 26-32.
37. TIP, F. A survey of program slicing techniques. Journal of Programming Languages 3, 3 (Sept. 1995), 121-189.
38. WARD, M. Assembler to c migration using the fermat transformation system. In IEEE International Conference on Software Maintenance (ICSM'99) (Oxford, UK, Aug. 1999), IEEE Computer Society Press, Los Alamitos, California, USA.
39. WARD, M., CALLISS, F. W., AND MUNRO, M. The main-tainer's assistant. In Proceedings of the International Conference on Software Maintenance 1989 (1989), IEEE Computer Society Press, Los Alamitos, California, USA, p. 307.
40. WEISER, M. Program slices: Formal, psychological, and practical investigations of an automatic program abstraction method. PhD thesis, University of Michigan, Ann Arbor, MI, 1979.
41. WEISER, M. Program slicing. IEEE Transactions on Software Engineering 10, 4 (1984), 352-357.
42. WEISER, M., AND LYLE, J. R. Experiments on slicing-based debugging aids. Empirical studies of programmers, Soloway and Iyengar (eds.). Molex, 1985, ch. 12, pp. 187-197.