A study on improving static analysis tools: Why are we not using them?

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2012, Pages 1607-1609

  Johnson, Brittany ^a  

^a North Carolina State University   (United States)

Author keywords

static analysis; tool development; tool evaluation

Indexed keywords

CODE INSPECTIONS; SOFTWARE ENGINEERS; TOOL DEVELOPMENT;

SOFTWARE ENGINEERING;

STATIC ANALYSIS;

EID: 84864246793     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE.2012.6227228     Document Type: Conference Paper

References (12)

1. "Improving Software by Reducing Coding Defects". Klockwork, Inc. Report, April 2004.
2. P. Jain, D T.V.R. Rao and S. Balan. Challenges in Deploying Static Analysis Tools. CrossTalk, July/August 2011.
3. N. Ayewah and W. Pugh. A report on a survey and study of static analysis users. In Proceedings of DEFECTS, pages 1-5. 2008.
4. N. Ayewah and W. Pugh. The Google FindBugs Fixit. In Proceeding of ISSTA, pages 241-252, New York, NY, USA, 2010.
5. N. Ayewah, D. Hovemeyer, J. D. Morgenthaler, J. Penix and W. Pugh. Experiences Using Static Analysis to Find Bugs. IEEE Software, pages 22-29. 2008.
6. A. Bessey, D. Engler, K. Block, B. Chelf, A. Chou, B. Fulton, S. Hallem, C. Henri-Gros, A. Kamsky, and S. Peak. A Few Billion Line of Code Later: Using Static Analysis to Find Bugs in the Real World. Communications of the ACM, pages 66-75. 2010.
7. B. Chess and J. West. Secure Programming with Static Analysis. Addison-Wesley, 2007.
8. K. Vorobyov and P. Krishnan. Comparing Model Checking and Static Program Analysis: A Case Study in Error Detection Approaches. In Proceedings of SSV, 2010.
9. S. Hove and B. Anda. Experiences from Conducting Semistructured Interviews in Empirical Software Engineering Research. In Proceedings METRICS, page 23. 2005.
10. C. Spinuzzi. The Methodology of Participatory Design. Technical Communication, pages 163-174. 2005.
11. Study material, including the interview script, can be found at the following url: www4.ncsu.edu/ bijohnso/Research.html
12. T. Ekman and G. Hedin. The JastAdd Extensible Java Compiler. In Proceedings OOPSLA, pages 1-18. 2007.