Experimental Results from Dynamic Slicing of C Proarams

ACM Transactions on Programming Languages and Systems (TOPLAS)

Volumn 17, Issue 2, 1995, Pages 197-216

  Venkatesh, G A ^a  

^a TELCORDIA TECHNOLOGIES   (United States)

Author keywords

Program analysis; program slice

Indexed keywords

ALGORITHMS; CODES (SYMBOLS); COMPUTER SOFTWARE; DATA REDUCTION; OPTIMIZATION; PERFORMANCE; PROGRAM COMPILERS; PROGRAM DEBUGGING; SOFTWARE ENGINEERING;

DYNAMIC SLICING; PROGRAM ANALYSIS; PROGRAM SLICE; PROGRAM TESTING;

C (PROGRAMMING LANGUAGE);

EID: 0029273331     PISSN: 01640925     EISSN: 15584593     Source Type: Journal    
DOI: 10.1145/201059.201062     Document Type: Article

References (17)

1. Agrawal H. 1991 Towards automatic debugging of computer programs. Tech. Rep. SERC-TR-103-P, SERC, Purdue Univ., West Lafayette, Ind. Aug.
2. Agrawal H. AND HORGAN B. 1990. Dynamic program slicing. In Proceedings of the SIGPLAN 90 Conference on Programming Language Design and Implementation. ACM SIGPLAN Not. 25, 6 (June), 246–256.
3. Ball T. and Larus J.R. 1994. Optimally profiling and tracing programs. ACM Trans. Program. Lang. Syst. 16, 4 (July), 1319–1360.
4. Cooper K. 1985. Analyzing aliases of reference formal parameters. In Proceedings 12th ACM Symposium on Principles of Programming Languages (New Orleans, La., Jan. 14–16). ACM, New York, 281–290.
5. Cooper K. And Kennedy K. 1989. Fast interprocedural alias analysis. In Proceedings 16th ACM Symposium on Principles of Programming Languages (Austin, Tex., Jan. 11–13). ACM, New York, 49–59.
6. Ernst M. 1994. Practical fine-grained static slicing of optimized code. Tech. Rep. MSR-TR-94-14, Microsoft Research, Redmond, Wash.
7. Horwitz S., Pfeiffer P., And Reps T. 1989. Dependence Analysis For Pointer Variables. In Proceedings Of The Sigplan 89 Conference On Programming Language Design And Implementation. Acm Sigplan Not. 24, 7 (June), 28–40.
8. Horwitz S., Prins J., And Reps T. 1988. Integrating Non-Interfering Versions Of Programs. In Proceedings 15Th Acm Symposium On Principles Of Programming Languages (San Diego, Calif. Jan. 13–15). Acm New York 133–145.
9. Horwitz S., Reps T., And Binkley D 1990. Interprocedural Slicing Using Dependence Graphs. Acm Trans. Program. Lang. Syst. 12, 1 (Jan.), 26–60.
10. Jiang J., Zhou X., And Robson D. J. 1991. Program Slicing For C—The Problems In Implementation. In Proceedings Conference On Software Maintenance (Sorrento, Italy, Oct. 15–17). New 182–190.
11. Korel B. AND LASKI J. 1988. Dynamic program slicing. Inf. Process. Lett. 29, 3 (Oct.), 155–163.
12. Landi W., Ryder B. G., And Zhang S. 1993. Interprocedural modification side effect analysis with pointer aliasing. In Proceedings of the SIGPLAN '93 Conference on Programming Language Design and Implementation. ACM SIGPLAN Not. 28, 6 (June), 56–67.
13. Livadas P. E. And Roy P. K. 1992. Program dependence analysis. In Proceedings Conference on Software Maintenance (Orlando, Fla., Nov. 9–12). IEEE, New York, 356–365.
14. Ottenstein K. J. And Ottenstein L. M. 1984. The program dependence graph in a software development environment. In Proceedings of the ACM SIGSOFT/SIGPLAN Symposium on Practical SDEs. ACM SIGPLAN Not. 19, 5 (May), 177–184.
15. Venkatesh G. A. 1990. The semantic approach to program slicing. In Proceedings SIGPLAN 91 Conference on Programming Language Design and Implementation. ACM SIGPLAN Not. 26, 6 (June), 107–119.
16. Weihl W. E. 1980. Interprocedural data flow analysis in the presence of pointers, procedure variables and label variables. In Proceedings 7th ACM Symposium on Principles of Programming Languages (Las Vegas, Nev., Jan. 28–30). ACM, New York, 83–94,
17. Weiser M., Program slicing IEEE Trans. Softw. Eng. SE-10., 352-357