Tracking bad apples: Reporting the origin of null and undefined value errors

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Volumn , Issue , 2007, Pages 405-422

  Bond, Michael D ^a   Nethercote, Nicholas ^b   Kent, Stephen W ^a   Guyer, Samuel Z ^c   McKinley, Kathryn S ^a  

^a University of Texas at Austin   (United States)

^b CSIRO   (Australia)

^c Tufts University

Author keywords

Debugging; Java; Low overhead run time support; Managed languages; Null pointer exceptions; Undefined values; Valgrind

Indexed keywords

INTERNATIONAL CONFERENCES; LANGUAGES (TRADITIONAL); OBJECT-ORIENTED PROGRAMMING; PRODUCTION ENVIRONMENTS; PROGRAM BEHAVIORS;

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; COMPUTER SYSTEMS PROGRAMMING; JAVA PROGRAMMING LANGUAGE; LINGUISTICS; NEODYMIUM; OBJECT ORIENTED PROGRAMMING; PROGRAM COMPILERS; UNMANNED AERIAL VEHICLES (UAV);

ERROR ANALYSIS;

EID: 42149110244     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1297027.1297057     Document Type: Conference Paper

References (37)

1. H. Agrawal and J. R. Horgan. Dynamic Program Slicing. In ACM Conference on Programming Language Design and Implementation, pages 246-256, 1990.
2. E. Allen. Diagnosing Java Code: The Dangling Composite bug pattern, http://www-128.ibm.com/developerworks/-java/library/j-diag2/, 2001.
3. B. Alpern, C. R. Attanasio, J. J. Barton, M. G. Burke, P. Cheng, J.-D. Choi, A. Cocchi, S. J. Fink, D. Grove, M. Hind, S. F. Hummel, D. Lieber, V. Litvinov, M. Mergen, T. Ngo, J. R. Russell, V. Sarkar, M. J. Serrano, J. Shepherd, S. Smith, V. C. Sreedhar, H. Srinivasan, and J. Whaley. The Jalapeño Virtual Machine. IBM Systems Journal, 39(1):211-238, 2000.
4. G. Ammons, T. Ball, and J. R. Larus. Exploiting Hardware Performance Counters with Flow and Context Sensitive Profiling. In ACM Conference on Programming Language Design and Implementation, pages 85-96, Las Vegas, NV, 1997.
5. M. Arnold, S. J. Fink, D. Grove, M. Hind, and P. F. Sweeney. Adaptive Optimization in the Jalapeño JVM. In ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 47-65, 2000.
6. A. Ayers, R. Schooler, C. Metcalf, A. Agarwal, J. Rhee, and E. Witchel. TraceBack: First Fault Diagnosis by Reconstruction of Distributed Control Flow. In ACM Conference on Programming Language Design and Implementation, pages 201-212, 2005.
7. E. D. Berger and B. G. Zorn. DieHard: Probabilistic Memory Safety for Unsafe Languages. In ACM Conference on Programming Language Design and Implementation, pages 158-168, 2006.
8. S. M. Blackburn, R. Garner, C. Hoffman, A. M. Khan, K. S. McKinley, R. Bentzur, A. Diwan, D. Feinberg, D. Frampton, S. Z. Guyer, M. Hirzel, A. Hosking, M. Jump, H. Lee, J. E. B. Moss, A. Phansalkar, D. Stefanović, T. VanDrunen, D. von Dincklage, and B. Wiedermann. The DaCapo Benchmarks: Java Benchmarking Development and Analysis. In ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 169-190, 2006.
9. P. Chalin and P. James. Non-null references by default in java: Alleviating the nullity annotation burden. Technical Report 2006-003, Concordia University, 2006.
10. Eclipse.org Home, http://www.eclipse.org/.
11. C. Flanagan, K. R. M. Leino, M. Lillibridge, G. Nelson, J. B. Saxe, and R. Stata. Extended Static Checking for Java. In ACM Conference on Programming Language Design and Implementation, pages 234-245, 2002.
12. S. Hallem, B. Chelf, Y Xie, and D. Engler. A System and Language for Building System-Specific, Static Analyses. In ACM Conference on Programming Language Design and Implementation, pages 69-82, 2002.
13. S. Hangal and M. S. Lam. Tracking Down Software Bugs Using Automatic Anomaly Detection. In ACM International Conference on Software Engineering, pages 291-301, 2002.
14. D. Hovemeyer and W. Pugh. Finding Bugs is Easy. In Companion to ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 132-136, 2004.
15. D. Hovemeyer, J. Spacco, and W. Pugh. Evaluating and Tuning a Static Analysis to Find Null Pointer Bugs. In ACM Workshop on Program Analysis for Software Tools and Engineering, pages 13-19.
16. Jikes RVM. http://www.jikesrvm.org.
17. Jikes RVM Research Archive, http://www.jikesrvm.org/-Research+Archive.
18. Jlint. http://jlint.sourceforge.net.
19. Jython-dev Mailing List. http://sourceforge.net/mailarchive/-forum.php? forum_id=5587.
20. S. Kaufer, R. Lopez, and S. Pratap. Saber-C: An Interpreter-Based Programming Environment for the C Language. In Summer USENIX Conference, pages 161-71, 1988.
21. B. Liblit, M. Naik, A. X. Zheng, A. Aiken, and M. I. Jordan. Scalable Statistical Bug Isolation. In ACM Conference on Programming Language Design and Implementation, pages 15-26, 2005.
22. T. Lindholm and F. Yellin. The Java Virtual Machine Specification (2nd Edition). Prentice Hall PTR, 1999.
23. S. Lu, J. Tucek, F. Qin, and Y. Zhou. AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants. In ACM International Conference on Architectural Support for Programming Languages and Operating Systems, pages 37-48, 2006.
24. Mckoi SQL Database, http://www.mckoi.com/database/.
25. N. Nethercote and A. Mycroft. Redux: A Dynamic Dataflow Tracer. Electronic Notes in Theoretical Computer Science, 89(2), 2003.
26. N. Nethercote and J. Seward. Valgrind: A Framework for Heavyweight Dynamic Binary Instrumentation. In ACM Conference on Programming Language Design and Implementation, pages 89-100, 2007.
27. J. Newsome and D. Song. Dynamic Taint Analysis for Automatic Detection, Analysis, and Signature Generation of Exploits on Commodity Software. In Network and Distributed System Security Symposium.
28. PMD. http://pmd.sourceforge.net.
29. F. Qin, J. Tucek, J. Sundaresan, and Y Zhou. Rx: Treating Bugs as Allergies - A Safe Method to Survive Software Failures. In ACM Symposium on Operating System Principles, pages 235-248, 2005.
30. M. Rinard, C. Cadar, D. Dumitran, D. Roy, T. Leu, and J. Bee-bee. Enhancing Server Availability and Security through Failure-Oblivious Computing. In USENIX Symposium on Operating Systems Design and Implementation, pages 303-316, 2004.
31. J. Seward and N. Nethercote. Using Valgrind to Detect Undefined Value Errors with Bit-Precision. In USENIX Annual Technical Conference, pages 17-30, 2005.
32. SourceForge.net. http://www.sourceforge.net/.
33. Standard Performance Evaluation Corporation. SPECjvm98 Documentation, release 1.03 edition, 1999.
34. Standard Performance Evaluation Corporation. SPECjbb2000 Documentation, release 1.01 edition, 2001.
35. B. Wiedermann. Personal communication, November 2006.
36. X. Zhang, S. Tallam, N. Gupta, and R. Gupta. Towards Locating Execution Omission Errors. InACM Conference on Programming Language Design and Implementation, pages 415-424, 2007.
37. P. Zhou, W. Liu, L. Fei, S. Lu, F. Qin, Y Zhou, S. Midkiff, and J. Torrellas. AccMon: Automatically Detecting Memory-related Bugs via Program Counter-based Invariants. In IEEE/ACM International Symposium on Microarchitecture, pages 269-280, 2004.