Finding more null pointer bugs, but not too many

ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering

Volumn , Issue , 2007, Pages 9-14

  Hovemeyer, David ^a   Pugh, William ^b  

^a YORK COLLEGE OF PENNSYLVANIA   (United States)

^b Univ of Maryland ^*  (United States)

Author keywords

Bug patterns; Bugs; FindBugs; Java; Null pointers; Software quality; Static analysis

Indexed keywords

BUG PATTERNS; NULL POINTERS; SOFTWARE QUALITY;

COMPUTER SOFTWARE; STATIC ANALYSIS;

PROJECT MANAGEMENT;

EID: 36549063428     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1251535.1251537     Document Type: Conference Paper

References (8)

1. Apache Tomcat, http://tomcat.apache.org, 2006.
2. I. Dillig, T. Dillig, and A. Aiken. Static error detection using semantic inconsistency inference. In Proceedings of the Conference on Programming Language Design and Implementation, June 2007.
3. D. Engler and K. Ashcraft. RacerX: effective, static detection of race conditions and deadlocks. In SOSP '03: Proceedings of the nineteenth ACM symposium on Operating systems principles, pages 237-252, New York, NY, USA, 2003. ACM Press.
4. D. Engler, D. Y. Chen, S. Hallem, A. Chou, and B. Chelf. Bugs as deviant behavior: a general approach to inferring errors in systems code. In SOSP '01: Proceedings of the eighteenth ACM symposium on Operating systems principles, pages 57-72, New York, NY, USA, 2001. ACM. Press.
5. D. Evans. Static detection of dynamic memory errors. In PLDI '96: Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation, pages 44-53, New York, NY, USA, 1996. ACM Press.
6. D. Hovemeyer, J. Spacco, and W. Pugh. Evaluating and tuning a static analysis to find null pointer bugs. In PASTE '05: The 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, pages 13-19, New York, NY, USA, 2005. ACM. Press.
7. W Pugh. Null pointer detection microbenchmarks. http://findbugs. googlecode.com/svn/trunk/NullPointerBenchmark/, 2006.
8. Reasoning, Inc. Reasoning inspection service defect data report for Tomcat, version. 4.1.24, January 2003. http://www.reasoning.com/pdf/ Tomcat_Defect_Report.pdf.