A Large-Scale Empirical Study of Forward and Backward Static Slice Size and Context Sensitivity

IEEE International Conference on Software Maintenance, ICSM

Volumn , Issue , 2003, Pages 44-53

  Binkley, David ^a   Harman, Mark ^b  

^a LOYOLA UNIVERSITY MARYLAND   (United States)

^b BRUNEL UNIVERSITY   (United Kingdom)

Author keywords

Empirical Study; Program Slicing; Semantics Based Tools

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER PROGRAM LISTINGS; SEMANTICS;

PROGRAM SLICING;

COMPUTER SOFTWARE MAINTENANCE;

EID: 77956611660     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSM.2003.1235405     Document Type: Conference Paper

References (45)

1. Agrawal, G. and Guo, L., "Evaluating explicitly context-sensitive program slicing," In Proceedings of the ACM SIGPLAN - SIGSOFT Workshop on Program Analysis for Software Tools and Engineering(Snowbird, Utah), pp. 6-12 (2001).
2. Andersen, L.O., "Program analysis and specialization for the C programming language," Ph.D. thesis, DIKU University of Copenhagen (DIKU report 94/19) (May 1994).
3. Anderson, P., Binkley, D., Rosay, G., and Teitelbaum, T., "Flow insensitive points-to sets," In Proceedings of the 2001 IEEE International Workshop on Source Code Analysis and Manipulation, (Florence, Italy), pp. 79-89 (November 2001).
4. Atkinson, D. and Griswold, W., "Effective whole-program analysis in the presence of pointers," Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering, (November 1998).
5. Atkinson, D. and Griswold, W., "Implementation techniques for efficient data-flow analysis of large programs," Proceedings of the IEEE International Conference on Software Maintenance (ICSM 2001), (November, 2001).
6. Bent, L., Atkinson, D., and Griswold, W., "A Qualitative study of two whole-program slicers for C," Technical Report CS2000-0643, Univ. of California at San Diego, (a preliminary version appeared at FSE 2000) (2000).
7. Beszedes, A. and Gyimothy, T., "Union slices for the approximation of the precise slice," pp. 12-20 in Proceedings of the IEEE Conference on Software Maintenance, (Montreal, Canada), IEEE Computer Society, Washington, DC (2002).
8. Binkley, D., Horwitz, S., and Reps, T., "Program Integration for Languages with Procedure Calls," ACM Transactions on Software Engineering and Methodology 4(1) pp. 3-35 (January 1995).
9. Binkley, D., "Semantics guided regression test cost reduction, " IEEE Transactions on Software Engineering 23(8) pp. 489-516 IEEE Computer Society, (August 1997).
10. Binkley, D., "The application of program slicing to regression testing," Information and Software Technology 40(11-12) pp. 583-595 (1998).
11. rd IEEE International Workshop on Source Code Analysis and Manipulation (Amsterdam, Netherlands, (27 September 2003).
12. Blair and Associates, http://users.erols.com/bai/baiintro.html.
13. Burke, M., Carini, P., Choi, J.D., and Hind, M., Flow insensitive interprocedural alias analysis in the presence of pointers. August 1994.
14. Callahan, D., "The program summary graph and flow-sensitive interprocedural data flow analysis," Proceedings of the ACM SIGPLAN 88 Conference on Programming Language Design and Implementation, (Atlanta, GA, June 22-24, 1988), ACM SIGPLAN Notices 23(7) pp. 47-56 (July 1988).
15. Callahan, D., "The program summary graph and flow-sensitive interprocedural data flow analysis," Proceedings of the ACM SIGPLAN 88 Conference on Programming Language Design and Implementation, (Atlanta, GA, June 22-24, 1988), ACM SIGPLAN Notices 23(7) pp. 47-56 (July 1988).
16. Choi, J.D., Burke, M., and Carini, P., "Efficient flow sensitive interprocedural computation of pointer induced aliases and side-effects," In ACM Symposium on Principles of Programming Languages, pp. 232-245 (1993).
17. Emami, M., Ghiya, R., and Hendren, L., "Context sensitive interprocedural points-to analysis in the presence of function pointers," In SIGPLAN Conference on Programming Languages Design and Implementation, (1994).
18. Field, J. and Ramalingam, C., "Identifying procedural structure in Cobol programs," pp. 1-10 in Proceedings of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (Software Engeneering Notes (SEN), ACM Press, N.Y., 1-58113-137-2, (September, 1999).
19. Gallagher, K.B. and Lyle, J.R., "Using program slicing in software maintenance," IEEE Transactions on Software Engineering SE-17(8) pp. 751-761 (1991).
20. Grammatech Inc., http://www.grammatech.com/ products/codesurfer/codesurfer.html. 2002.
21. Horwitz, S., Reps, T., and Binkley, D., "Interprocedural slicing using dependence graphs," ACM Transactions on Programming Languages and Systems 12(1) pp. 26-60 (January 1990).
22. Krinke, J., "Evaluation context-sensitive slicing and chopping," pp. 22-31 in Proceedings of the IEEE Conference on Software Maintenance, (Montreal, Canada), IEEE Computer Society, Washington, DC (2002).
23. Landi, W. and Ryder, B., "A safe approximate algorithm for interprocedural pointer aliasing," In SIGPLAN Conference on Programming Languages Design and Implementation, pp. 235-248 (June 1992).
24. Liang, D. and Harrold, M. J., "Efficient points-to analysis for whole-program analysis," Springer Lecture Notes in Computer Science 1687 pp. 199-215 ().
25. Liao, S., Diwan, A., Bosch, R., Ghuloum, A., and Lam, M., "SUIF Explorer," ACM SIGPLAN Notices, Proceedings of the seventh ACM SIGPLAN symposium on Principles and Practice of Parallel Programming 34(8)(May 1999).
26. Lyle, J. and Weiser, M., "Experiments on slicing-based debugging tools," in Proceedings of the First Conference on Empirical Studies of Programming, (June 1986), Ablex Publishing Co. (1986).
27. Lyle, J.R., Wallace, D.R., Graham, J.R., Gallagher, K.B., Poole, J.E., and Binkley, D.W., "A CASE tool to evaluate functional diversity in high integrity software," U.S. Department of Commerce, Technology Administration, National Institute of Standards and Technology, Computer Systems Laboratory, Gaithersburg, MD, (1995).
28. Mock, M., Atkinson, D.C., Chambers, C., and Eggers, S.J., "Improving program slicing with dynamic points-to data," Proceedings of the 10th International Symposium on the Foundations of Software Engineering Charleston South Carolina), (11/18-22/2002).
29. Ning, J., Engberts, A., and Kozaczynski, V., "Automated support for legacy code understanding," Communications of the ACM 37(5) pp. 50-57 (1994).
30. Orso, A., Sinha, S., and Harrold, M.J., "Effects of pointers on data dependences," 9th IEEE International Workshop on Program Comprehension (IWPC'01), Toronto, Canada, pp. 39-49 (May 2001).
31. Orso, A., Sinha, S., and Harrold, M.J., "Incremental slicing based on data-dependences types," IEEE International Conference on Software Maintenance (ICSM'01), Florence, Italy, (November 2001).
32. Redwine, S. and Riddle, W., "Software technology maturation," Proceedings of the eighth IEEE/ACM International Conference on Software Engineering, (London, UK, August, 1985), pp. 189-200 (1985).
33. Reps, T., Horwitz, S., Sagiv, M., and Rosay, G., "Speeding up slicing," Proceedings of the Second ACM SIGSOFT Symposium on the Foundations of Software Engineering, (New Orleans, LA, December 7-9, 1994), ACM SIGSOFT Software Engineering Notes 19, 5 (December 1994), pp. 11-20, (1994).
34. Reps, T., Horwitz, S., Sagiv, M., and Rosay, G., "Speeding up slicing," Proceedings of the Second ACM SIGSOFT Symposium on the Foundations of Software Engineering, (New Orleans, LA, December 7-9, 1994), ACM SIGSOFT Software Engineering Notes 19, 5 (December 1994), pp. 11-20, (1994).
35. Ruf, E., "Context-sensitive alias analysis reconsidered," In SIGPLAN Conference on Programming Languages Design and Implementation, pp. 13-22 (June 1995).
36. Shapiro, M. and Horwitz, S., "Fast and accurate flow-insensitive points-to analysis," Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, (Paris, France), (January 1997).
37. Sinha, S., Harrold, M.J., and Rothermel, G., "System-Dependence-Graph-Based Slicing of Programs with Arbitrary Interprocedural Control-Flow," Proceedings of the 21st International Conference on Software Engineering (ICSE'99), pp. 432-441 (May 1999).
38. Steensgaard, B., "Points-to analysis in almost linear time," International Conference on Compiler Construction, (April 1996).
39. st IEEE International Workshop on Source Code Analysis and Manipulation (Florence, Italy), pp. 185-193 (November 2001).
40. th IEEE Annual Computer Software and Applications Conference (COMPSAC 2002) (Oxford, UK), pp. 357-362 (August, 2002).
41. Wilson, R. and Lam, M., "Efficient context-sensitive pointer analysis for C programs," In SIGPLAN Conference on Programming Language Design and Implementation, pp, 1-12 (June 1995).
42. Yong, S., S.Horwitz, and Reps, T., "Pointer analysis for programs with structures and casting," In Proceedings of the SIGPLAN 99 Conference on Programming Language Design and Implementation (Atlanta, GA), (May 1999).
43. Zelkowitz, M., Wallace, D., and Binkley, D., "Culture conflicts in software engineering technology transfer," In Proceedings of the 23rd NASA Goddard Space Flight Center Software Engineering Workshop (Greenbelt, Maryland), pp. 52-62 (December 1998).
44. Zelkowitz, M., Wallace, D., and Binkley, D., "Experimental validation of new software technology," Accepted for publication as a chapter inSE Empirical Validation (Natalia Juristo and Ana Moreno eds.), (2003).
45. Zhang, S., Ryder, B. G., and Landi, W., "Program decomposition for pointer aliasing: a step towards practical analyses," Proceedings of the 4th Symposium on the Foundations of Software Engineering (FSE'96), (October, 1996).