Understanding the value of program analysis tools

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

Volumn , Issue , 2007, Pages 963-970

  Jaspan, Ciera Christopher ^a   Chen, I Chin ^b   Sharma, Anoop ^b  

^a CARNEGIE MELLON UNIVERSITY   (United States)

^b eBay ^*

Author keywords

Economics; Program analysis; Value based software

Indexed keywords

COMPARATIVE EVALUATIONS; CONTINUOUS EVALUATION; COVERAGE MODELS; INTERNATIONAL CONFERENCES; LANGUAGES (TRADITIONAL); OBJECT-ORIENTED PROGRAMMING; PROGRAM ANALYSIS; RETURN-ON-INVESTMENT (ROI) ANALYSIS; SOFTWARE PROCESSING;

CODES (STANDARDS); CODES (SYMBOLS); COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SOFTWARE SELECTION AND EVALUATION; COMPUTER SYSTEMS PROGRAMMING; COST EFFECTIVENESS; COSTS; FINANCE; LINGUISTICS; NEODYMIUM; OBJECT ORIENTED PROGRAMMING;

TOOLS;

EID: 42149130989     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1297846.1297964     Document Type: Conference Paper

References (12)

1. Agitar. Agitar TestOne. http://www.agitar.com.
2. B. Boehm. Software Engineering Economics. Prentice Hall, 1981.
3. S. A. Butler, S. Jha, and M. Shaw. When good models meet bad data: Applying quantitative economic models to qualitative engineering judgments. In EDSER-2: Workshop on Economics-Driven Software Engineering Research, 2000.
4. S. A. Butler and M. Shaw. Incorporating nontechnical attributes in multi-attribute analysis for security. In EDSER-4: Workshop on Economics-Driven Software Engineering Research, 2002.
5. FindBugs. FindBugs Project, http://findbugs.sourceforge.net.
6. Fluid. Fluid Project, http://www.fluid.es.cmu.edu:8080/Fluid.
7. Fortify Software. Fortify SCA. http://www.fortifysoftware.com.
8. Klocwork. Klocwork K7. http://www.klocwork.com.
9. J. W. Nimmer and M. D. Ernst. Invariant inference for static checking: an empirical evaluation. SIGSOFT Softw. Eng. Notes, 27(6):11-20, 2002.
10. PMD. PMD Project, http://pmd.sourceforge.net.
11. N. Rutar, C. B. Almazan, and J. S. Foster. A comparison of bug finding tools forjava. In 15th International Symposium on Software Reliability Engineering, 2004.
12. J. Zheng, L. Williams, N. Nagappan, W. Snipes, J. P. Hudepohl, and M. A. Vouk. On the value of static analysis for fault detection in software. IEEE Transactions on Software Engineering, 32(4):240-253, 2006.