Locating matching method calls by mining revision history data (2005) [2 citations — 2 self]
Abstract:
Developing an appropriate fix for a software bug often requires a detailed examination of the code as well as generation of appropriate test cases. However, certain categories of bugs are usually easy to fix. In this paper we focus on bugs that can be corrected with a one-line code change. As it turns out, one-line source code changes very often represent bug fixes. Moreover, a significant fraction of previously known bug categories can be addressed with one-line fixes. Careless use of file manipulation routines, failing to call free to deallocate a data structure, failing to use strncpy instead of strcpy for safer string manipulation, and using tainted character arrays as the format argument of fprintf calls are all well-known types of bugs that can typically be corrected with a one-line change of the program source. This paper proposes an analysis of software revision histories to find highly correlated pairs of method calls that naturally
Citations
| 224 | A First Step towards Automated Detection of Buffer Overrun Vulnerabilities – Wagner, Foster, et al. - 2000 |
| 211 | Checking system rules using system-specific, programmer-written compiler extensions – Engler, Chelf, et al. - 2000 |
| 79 | A static analyzer for large safety-critical software – Blanchet, Cousot, et al. - 2003 |
| 56 | Securing web application code by static analysis and runtime protection – Huang, Yu, et al. - 2004 |
| 48 | Preprocessing CVS Data for Fine-Grained Analysis – Zimmermann, Weißgerber - 2004 |
| 28 | S.K.: SLAM and Static Driver Verifier: Technology transfer of formal methods inside Microsoft – Ball, Cook, et al. |
| 14 | Recovering System Specific Rules from Software Repositories – Williams, Hollingsworth - 2005 |
| 6 | Precise and scalable static program analysis of NASA flight software – Brat, Venet - 2005 |
| 6 | Towards Understanding the Rhetoric of Small Changes – Purushothaman, Perry - 2004 |
| 4 | Bug driven bug finders – Williams, Hollingsworth - 2004 |
