A precise demand-driven definition-use chaining algorithm

Proceedings of the European Conference on Software Maintenance and Reengineering, CSMR

Volumn , Issue , 2002, Pages 77-86

  Hajnal, A ^a   Forgacs, I ^b  

^a INSTITUTE OF EXPERIMENTAL MEDICINE   (Hungary)

^b Balthazar Ltd   (Hungary)

Author keywords

[No Author keywords available]

Indexed keywords

DEMAND-DRIVEN; FORWARD-AND-BACKWARD; INTER-PROCEDURAL ALGORITHMS; LARGE PROGRAMS; ON DEMANDS; PROGRAM ANALYSIS; REGRESSION TESTING;

ALGORITHMS; COMPUTER SOFTWARE MAINTENANCE; REENGINEERING; SOFTWARE TESTING;

PROGRAM DEBUGGING;

EID: 84863317860     PISSN: 15345351     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSMR.2002.995792     Document Type: Conference Paper

References (18)

1. D. C. Atkinson, and W. G. Griswold, "The design of wholeprogram analysis tools", Proc. of the ICSE-18, Berlin, 1996, pp. 16-26.
2. E. Duesterwald, R. Gupta, and M. Soffa, "Demand-driven computation of interprocedural data flow", Proc. of the 22nd ACM Symposium on Principles of Programming Languages, 1995, pp. 37-48.
3. E. Duesterwald, R. Gupta, and M. Soffa, "A Practical Framework for Demand-Driven Interprocedural Data Flow Analysis", ACM Transactions on Programming Languages and Systems, Vol. 19, No. 6, November 1997, pp. 992-1030.
4. I. Forgács, "Double iterative framework for flow-sensitive interprocedural data flow analysis", ACM Trans. on Software Engineering and Methodology 3(1), 1994, pp. 29-55.
5. I. Forgács, "An exact array reference analysis for data flow testing", Proc. of the IEEE-ACM 18th International Conference on Software Engineering, Berlin 1996, pp. 565-574.
6. I. Forgács, and A. Bertolino, "Preventing untestedness in Data Flow-based Testing", to appear in Software Testing, Verification & Reliability, 2002.
7. I. Forgács, and T. Gyimóthy, "An efficient interprocedural slicing method for large programs", Proc. of the 9th International Conference on Software Engineering and Knowledge Engineering, June 1997, pp. 279-286.
8. S. Horwitz, T. Reps, and D. Binkley, "Interprocedural slicing using dependence graphs", ACM Trans. on Prog. Lang. and Systems 12(1), January 1990, pp. 26-60.
9. S. Horwitz, T. Reps, and M. Sagiv, "Demand interprocedural dataflow analysis", Proc. of the 3rd ACM SIGSOFT Symposium on the Foundations of Software Engineering, 1995, pp. 104-115.
10. IEEE Standard Glossary of Software Engineering Terminology, ANSI/IEEE Std 610. 12-1990.
11. E. Myers, "A precise inter-procedural data flow algorithm", Conference Record of the Eighth ACM Symposium on the Principles of Programming Languages, Jan. 1981, pp. 219-230.
12. S. C. Ntafos, "On required element testing", IEEE Trans. Software Eng. 10(6), Nov. 1984, pp. 795-803.
13. S. Rapps, and E. J. Weyuker, "Selecting test data using data flow information", IEEE Trans. Software Eng. 11(4), Apr. 1985, pp. 367-374.
14. T. Reps, "Solving demand driven versions of interprocedural analysis problems", 5th Interprocedural Conf. On Comp. Const. LNCS VOL. 786, Springer Verlag, Berlin 1994, pp. 389-403.
15. T. Reps, S. Horwitz, M. Sagiv, and G. Rosay, "Speeding up slicing", ACM SIGSOFT Engineering Notes 19(5), Dec. 1994, pp. 11-20.
16. M. Sagiv, T. Reps, and S. Horwitz, "Precise interprocedural dataflow analysis with applications to constant propagation", Theoretical Computer Science 167(1-2), 1996, pp. 131-170.
17. M. Weiser, "Programmers use slicing when debugging", Communication of ACM 25(7), 1982, pp. 446-452.
18. http://www. balthazar. hu