Evaluating and tuning a static analysis to find null pointer bugs

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

Volumn , Issue , 2005, Pages 13-19

  Hovemeyer, David ^a   Spacco, Jaime ^a   Pugh, William ^a  

^a University of Maryland ^*  (United States)

Author keywords

static analysis; testing

Indexed keywords

ANALYSIS TECHNIQUES; FALSE POSITIVE RATES; INTER-PROCEDURAL; MEMORY ACCESS; PRODUCTION SOFTWARE; SIMPLE ANALYSIS; SOFTWARE DEFECTS; STUDENT PROJECT;

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; DEFECTS; ERRORS; STUDENTS; TESTING;

STATIC ANALYSIS;

EID: 84885200306     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1108792.1108798     Document Type: Conference Paper

References (11)

1. William R. Bush, Jonathan D. Pincus, and David J. Sielaff. A static analyzer for finding dynamic programming errors. Software - Practice and Experience, 30:775-802, 2000.
2. Manuvir Das, Sorin Lerner, and Mark Seigle. ESP: Path-sensitive program verification in polynomial time. In Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, pages 57-68. ACM Press, 2002.
3. Eclipse. http://www.eclipse.org, 2005.
4. D. Engler, B. Chelf, A. Chou, and S. Hallem. Checking system rules using system-specific, programmer-written compiler extensions. In Proceedings of the Fourth Symposium on Operating Systems Design and Implementation, San Diego, CA, October 2000.
5. D. Evans. Static detection of dynamic memory errors. In Proceedings of the SIGPLAN Conference on Programming Languages, Design, and Implementation, 1996.
6. Manuel Fähndrich and K. Rustan M. Leino. Declaring and checking non-null types in an object-oriented language. In OOPSLA '03: Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications, pages 302-312, New York, NY, USA, 2003. ACM Press.
7. C. Flanagan, K. Leino, M. Lillibridge, C. Nelson, J. Saxe, and R. Stata. Extended static checking for Java, 2002.
8. David Hovemeyer and William Pugh. Finding bugs is easy. In Companion of the 19th ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, Vancouver, BC, October 2004.
9. Atanas Rountev, Scott Kagan, and Michael Gibas. Evaluating the imprecision of static analysis. In PASTE '04: Proceedings of the ACM-SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, pages 14-16, Washington DC, USA, 2004.
10. Jaime Spacco, Jaymie Strecker, David Hovemeyer, and William Pugh. Software repository mining with Marmoset: An automated programming project snapshot and testing system. In Proceedings of the Mining Software Repositories Workshop (MSR 2005), St. Louis, Missouri, USA, May 2005.
11. Yichen Xie and Dawson Engler. Using redundancies to find errors. In SIGSOFT '02/FSE-10: Proceedings of the 10th ACM SIGSOFT Symposium on Foundations of Software Engineering, pages 51-60, Charleston, South Carolina, USA, 2002.