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

@article{Bond2007TrackingBA,
  title={Tracking bad apples: reporting the origin of null and undefined value errors},
  author={Michael D. Bond and N. Nethercote and S. Kent and Samuel Z. Guyer and K. McKinley},
  journal={Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems, languages and applications},
  year={2007}
}
  • Michael D. Bond, N. Nethercote, +2 authors K. McKinley
  • Published 2007
  • Computer Science
  • Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems, languages and applications
Programs sometimes crash due to unusable values, for example, when Java and C# programs dereference null pointers and when C and C++ programs use undefined values to affect program behavior. A stack trace produced on such a crash identifies the effect of the unusable value, not its cause, and is often not much help to the programmer. This paper presents efficient origin tracking of unusable values; it shows how to record where these values come into existence, correctly propagate them, and… Expand
Debugging by lastChange
Dynamic Error Remediation : A Case Study with Null Pointer Exceptions
Uncovering performance problems in Java applications with reference propagation profiling
An Automatic Localization Tool for Null Pointer Exceptions
Endicheck: Dynamic Analysis for Detecting Endianness Bugs
VFix: Value-Flow-Guided Precise Program Repair for Null Pointer Dereferences
Practical Object-Oriented Back-in-Time Debugging
Valence: variable length calling context encoding
...
1
2
3
4
5
...

References

SHOWING 1-3 OF 3 REFERENCES
Diagnosing Java Code: The Dangling
  • Composite bug pattern
  • 2001
Diagnosing Java Code: The Dangling Composite bug pattern
  • http://www-128.ibm.com/developerworks/java/library/j-diag2/,
  • 2001
Diagnosing Java Code: The Dangling Composite bug pattern. http://www-128.ibm.com/developerworks/- java/library/j-diag2
  • Diagnosing Java Code: The Dangling Composite bug pattern. http://www-128.ibm.com/developerworks/- java/library/j-diag2
  • 2001