PSE: Explaining program failures via postmortem static analysis

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 2004, Pages 63-72

  Manevich, Roman ^a   Sridharan, Manu ^b   Adams, Stephen ^c   Das, Manuvir ^c   Yang, Zhe ^c  

^a TEL AVIV UNIVERSITY   (Israel)

^b UNIVERSITY OF CALIFORNIA   (United States)

^c MICROSOFT   (United States)

Author keywords

Alias analysis; Postmortem analysis; Typestate; Value flow

Indexed keywords

ALIAS ANALYSIS; POSTMORTEM ANALYSIS; TYPESTATE; VALUE FLOW;

ALGORITHMS; COMPUTER OPERATING SYSTEMS; COMPUTER PROGRAM LISTINGS; COMPUTER PROGRAMMING LANGUAGES; DATA FLOW ANALYSIS; FAILURE ANALYSIS; SOFTWARE ENGINEERING; SYSTEMS ENGINEERING;

COMPUTER SOFTWARE;

EID: 20344382538     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (26)

1. Hiralal Agrawal and Joseph R. Horgan. Dynamic Program Slicing. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, June 1990.
2. Hiraral Agrawal, Joseph R. Horgan, Saul London, and W. Eric Wong. Fault Localization using Execution Slices and Dataflow Tests. In Proceedings of the IEEE International Symposium on Software Reliability Engineering, October 1995.
3. Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley, 1986.
4. Thomas Ball, Mayur Naik, and Sriram Rajamani. From Symptom to Cause: Localizing Errors in Counterexample Traces. In Conference Record of the Thirtieth ACM Symposium on Principles of Programming Languages, 2003.
5. Thomas Ball and Sriram K. Rajamani. Automatically Validating Temporal Safety Properties of Interfaces. In Proceedings of SPIN '01, 8th Annual SPIN Workshop on Model Checking of Software, May 2001.
6. Peter Bunus and Peter Fritzson. Semi-Automatic Fault Localization and Behavior Verification for Physical System Simulation Models. In Proceedings of the IEEE International Conference on Automated Software Engineering, October 2003.
7. William R. Bush, Jonathan D. Pincus, and David J. Sielaff. A Static Analyzer for Finding Dynamic Programming Errors. Software - Practice and Experience, 30(7):775-802, 2000.
8. J. Corbett, M. Dwyer, J. Hatcliff, C. Pasareanu, Robby, S. Laubach, and H. Zheng. Bandera: Extracting Finite-state Models from Java Source Code. In Proceedings of the 22nd International Conference on Software Engineering, 2000.
9. Microsoft Corporation. Microsoft Online Crash Analysis, http://oca.microsoft.com/en/dcp20.asp.
10. Manuvir Das. Unification-based pointer analysis with directional assignments. In ACM SIGPLAN 2000 Conference on Programming Language Design and Implementation, 2000.
11. Manuvir Das, Sorin Lerner, and Mark Seigle. ESP: Path-sensitive Program Verification in Polynomial Time. In ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, 2002.
12. Manuvir Das, Ben Liblit, Manuel Fähndrich, and Jakob Rehof. Estimating the Impact of Scalable Pointer Analysis on Optimization. In 8th International Symposium on Static Analysis, 2001.
13. Richard A. DeMillo, Hsin Pan, and Eugene H. Spafford. Critical Slicing for Software Fault Localization. In Proceedings of the International Symposium on Software Testing and Analysis, 1996.
14. E. W. Dijkstra. A Discipline of programming. Prentice-Hall, 1976.
15. Nurit Dor, Stephen Adams, Manuvir Das, and Zhe Yang. Software Validation via Scalable Path-Sensitive Value Flow Analysis. In International Symposium on Software Testing and Analysis, 2004.
16. Also available as Microsoft Research Technical Report MSR-TR-2003-58.
17. Margaret Francel and Spencer Rugaber. Fault Localization using Execution Traces. In Proceedings of the ACM Annual Southeast Regional Conference, 1992.
18. Seth Hallem, Benjamin Chelf, Yichen Xie, and Dawson Engler. A system and language for building system-specific, static analyses. In Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, 2002.
19. Ben Liblit and Alex Aiken. Building a better backtrace: Techniques for postmortem program analysis. Technical Report UCB/CSD 02/1203, UC Berkeley Computer Science Division, October 2002.
20. Hsin Pan and Eugene H. Spafford. Toward Automatic Localization of Software Faults. In Proceedings of the Pacific Northwest Software Quality Conference, October 1992.
21. Brock Pytlik, Manos Renieris, Shriram Krishnamurthi, and Steven P. Reiss. Automated Fault Localization Using Potential Invariants. In Proceedings of the International Workshop on Automated and Algorithmic Debugging, September 2003.
22. Thomas Reps, Susan Horwitz, and Mooly Sagiv. Precise interprocedural dataflow analysis via graph reachability. In Proc. ACM Symp. on Principles of Programming Languages, pages 49-61. ACM Press, January 1995.
23. R. Strom and S. Yemini. Typestate: A Programming Language Concept for Enhancing Software Reliability. IEEE Transactions on Software Engineering, 12(1):157-171, 1986.
24. Robert E. Strom and Daniel M. Yellin. Extending Typestate Checking Using Conditional Liveness Analysis. IEEE Transactions on Software Engineering, May 1993.
25. Frank Tip. A survey of program slicing techniques. Journal of programming languages, 3:121-189, 1995.
26. Mark Weiser. Program slicing. In Proceedings of the 5th international conference on Software engineering, pages 439-449. IEEE Press, March 1981.