NDLI: Finding more null pointer bugs, but not too many

Please wait, while we are loading the content...

Evaluating static analysis defect warnings on production software

Finding more null pointer bugs, but not too many

Introducing natural language program analysis

Interstatement must aliases for data dependence analysis of heap locations

Light context-sensitive points-to analysis for java

Heap analysis in the presence of collection libraries

Comparing call graphs

An overview of the saturn project

Case study: supplementing program analysis with natural language analysis to improve a reverse engineering task

Discovering accurate interclass test dependences

Refining buffer overflow detection via demand-driven path-sensitive analysis

AWE: improving software analysis through modular integration of static and dynamic analyses

Dynamic purity analysis for java programs

Improving software quality with static analysis

Enforcing and validating user-defined programming disciplines

Finding more null pointer bugs, but not too many

Content Provider	ACM Digital Library
Author	Hovemeyer, David Pugh, William
Abstract	In the summer of 2006, the FindBugs project was challenged to improve the null pointer analysis in FindBugs so that we could find more null pointer bugs. In particular, we were challenged to try to do as well as a publicly available analysis by Reasoning, Inc on version 4.1.24 of Apache Tomcat. Reasoning's report is a result of running their own static analysis tool and using manual auditing to remove false positives. Reasoning reported a total of 9 null pointer warnings in Tomcat 4.1.24, of which only 2 were reported by FindBugs 1.0. While we wanted to improve the analysis in FindBugs, we wanted to retain our current low level of false positives. As of result of the work presented in this paper, FindBugs now reports 4 of the 9 warnings in Tomcat, shows that one of the warnings reported by Reasoning is a false positive, and classifies the remaining 4 as being dependent on the feasibility of a particular path, which cannot be easier ascertained by a local examination of the source code. Moreover, we found 24 additional null pointer bugs in Tomcat that had been missed by Reasoning, and overall doubled the number of null pointer bugs found by FindBugs while improving the quality and significance of reported defects.
Starting Page	9
Ending Page	14
Page Count	6
File Format	PDF
ISBN	9781595935953
DOI	10.1145/1251535.1251537
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2007-06-13
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Bugs Java Null pointers Software quality Static analysis Findbugs Bug patterns
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in