Thin slicing

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Volumn , Issue , 2007, Pages 112-122

  Sridharan, Manu ^a   Fink, Stephen J ^b   Bodik, Rastislav ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

Debugging; Program understanding; Slicing

Indexed keywords

PROGRAM SLICING; SLICING TOOL;

ALGORITHMS; COMPUTATION THEORY; PROGRAM DEBUGGING;

COMPUTER PROGRAMMING;

EID: 35448962507     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1250734.1250748     Document Type: Conference Paper

References (34)

1. CodeSurfer. http://www.grammatech.com/products/codesurfer/.
2. T.J. Watson Libraries for Analysis, http://wala.sourceforge.net.
3. M. Allen and S. Horwitz. Slicing Java programs that throw and catch exceptions. In PEPM '03: Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation, pages 44-54, New York, NY, USA, 2003. ACM Press.
4. L. O. Andersen. Program Analiysis and Specialization for the C Programming Language. PhD thesis, University of Copenhagen, DIKU, 1994.
5. D. C. Atkinson and W. G. Griswold. Effective whole-program analysis in the presence of pointers. In Foundations of Software Engineering, pages 46-55, 1998.
6. M. Das, S. Lerner, and M. Seigle. ESP: path-sensitive program verification in. polynomial time. In Conference on Programming Language Design and Implementation (PLDI), 2002.
7. H. Do, S. Elbaum, and G. Rothermel. Supporting controlled experimentation with testing techniques: An infrastructure and its potential impact. Empirical Software Engineering, 10(4), October 2005.
8. S. Fink, E. Yahav, N. Dor, G. Ramalingam, and E. Geay. Effective typestate verification in the presence of aliasing. In International symposium on Software testing and analysis (ISSTA), 2006.
9. C. Hammer and G. Snelting. An improved sheer for Java. In Proceedings of the ACM-SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, pages 17-22, 2004.
10. S. Horwitz, P. Pfeiffer, and T. Reps. Dependence analysis for pointer variables. In Conference on Programming Language Design and Implementation (PLDI), 1989.
11. S. Horwitz, T. Reps, and D. Binkley. Interprocedural slicing using dependence graphs. In Conference on Programming Language Design and Implementation (PLDI), 1988.
12. J. Krinke. Advanced Slicing of Sequential and Concurrent Programs. PhD thesis, University of Passau, 2003.
13. L. Larsen and M. J. Harrold. Slicing object-oriented software. In International Conference on Software Engineering (ICSE), 1996.
14. D. Liang and M. J. Harrold. Slicing objects using system dependence graphs. In ICSM, pages 358-367, 1998.
15. R. Manevich, M. Sridharan, S. Adams, M. Das, and Z. Yang. PSE: explaining program, failures via postmortem static analysis. In SIGSOFT '04/FSE-12: Proceedings of the 12th ACM SIGSOFT twelfth international symposium, on Foundations of software engineering, pages 6372, New York, NY, USA, 2004. ACM. Press.
16. A. Milanova, A. Rountev, and B. G. Ryder. Parameterized object sensitivity for points-to analysis for java. ACM Trans. Softw. Eng. Methodol., 14(1): 1-41, 2005.
17. M. Mock, D. C. Atkinson, C. Chambers, and S. J. Eggers. Improving program slicing with, dynamic points-to data. SIGSOFT Softw. Eng. Notes, 27(6):71-80, 2002.
18. A. Orso, S. Sinha, and M. J. Harrold. Classifying data dependences in the presence of pointers for program comprehension, testing, and debugging. ACM Transactions on Software Engineering and Methodology (TOSEM), 13(2):199-239, 2004.
19. M. Renieris and S. P. Reiss. Fault localization with nearest neighbor queries. In IEEE International Conference on Automated. Software Engineering (ASE), 2003.
20. T. Reps. Program analysis via graph reachability. Information and Software Technology, 40(11-12):70.1-726, November/December 1998.
21. T. Reps, S. Horwitz, and M. Sagiv. Precise interprocedural dataflow analysis via graph reachability. In ACM Symposium on Principles of Programming Languages (POPL), 1995.
22. T. Reps, S. Horwitz, M. Sagiv, and G. Rosay. Speeding up slicing. In ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), New Orleans, LA, December 1994.
23. A. Rountev, A. Milanova, and B. G. Ryder. Points-to analysis for Java using annotated constraints. In Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Tampa Bay, Florida, October 2001.
24. B. G. Ryder, W. A. Landi, P. A. Stocks, S. Zhang, and R. Altucher. A schema for interprocedural modification side-effect analysis with pointer aliasing. ACM Trans. Program. Lang. Syst., 23(2): 105-186, 2001.
25. M. Sridharan and R. Bodfk. Refinement-based context-sensitive points-to analysis for Java. In Conference on Programming Language Design and Implementation (PLDI), 2006.
26. T. Teitelbaum. Personal communication regarding CodeSurfer. 2007.
27. F. Tip. A survey of program slicing techniques. Journal of programming languages, 3:121-189, 1995.
28. M. D. Weiser. Program slices: formal, psychological, and practical investigations of an automatic program abstraction method. PhD thesis, University of Michigan, Ann Arbor, 1979.
29. A. Zeller. Isolating cause-effect chains from computer programs. SIGSOFT Softw. Eng. Notes, 27(6):1-10, 2002.
30. X. Zhang, N. Gupta, and R. Gupta. Pruning dynamic slices with confidence. In Conference on Programming Language Design and Implementation (PLDI), 2006.
31. X. Zhang, N. Gupta, and R. Gupta. A study of effectiveness of dynamic slicing in locating real faults. Empirical Software Engineering, 2006. To appear.
32. X. Zhang, R. Gupta, and Y. Zhang. Efficient forward computation of dynamic slices using reduced ordered binary decision diagrams. In International Conference on Software Engineering (ICSE), 2004.
33. X. Zhang, S. Tallam, and R. Gupta. Dynamic slicing long running programs through execution, fast forwarding. In ACM SIGSOFT Symposium on Foundations of Software Engineering, 2006.
34. A. X. Zheng, M. I. Jordan, B. Liblit, M. Naik, and A. Aiken. Statistical, debugging: Simultaneous identification of multiple bugs. In Proceedings of the 23rd International Conference on Machine Learning, 2006.