| Publication Type |
Manuscript |
| School or College |
College of Engineering |
| Department |
Computing, School of |
| Creator |
Regehr, John |
| Other Author |
Yang, Xuejun; Chen, Yang; Eide, Eric |
| Title |
Finding and understanding bugs in C compilers |
| Date |
2011-01-01 |
| Description |
Compilers should be correct. To improve the quality of C compilers, we created Csmith, a randomized test-case generation tool, and spent three years using it to find compiler bugs. During this period we reported more than 325 previously unknown bugs to compiler developers. Every compiler we tested was found to crash and also to silently generate wrong code when presented with valid input. In this paper we present our compiler-testing tool and the results of our bug-hunting study. Our first contribution is to advance the state of the art in compiler testing. Unlike previous tools, Csmith generates programs that cover a large subset of C while avoiding the undefined and unspecified behaviors that would destroy its ability to automatically find wrong-code bugs. Our second contribution is a collection of qualitative and quantitative results about the bugs we have found in open-source C compilers. |
| Type |
Text |
| Publisher |
Association for Computing Machinery |
| DOI |
http://doi.acm.org/10.1145/NNNNNNN.NNNNNNN. |
| Dissertation Institution |
University of Utah |
| Language |
eng |
| Bibliographic Citation |
Yang, X., Chen, Y., Eide, E., & Regehr, J. (2011). Finding and understanding bugs in C compilers. In Proceedings of 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2011). June. |
| Rights Management |
(c) ACM, 2011. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Proceedings of the 2011 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), San Jose, CA, Jun. 2011, |
| Format Medium |
application/pdf |
| Format Extent |
925,576 bytes |
| Identifier |
uspace,17472 |
| ARK |
ark:/87278/s6rn3smm |
| Setname |
ir_uspace |
| ID |
707947 |
| Reference URL |
https://collections.lib.utah.edu/ark:/87278/s6rn3smm |
