Publication Type |
Manuscript |
School or College |
College of Engineering |
Department |
Computing, School of |
Creator |
Regehr, John |
Other Author |
Cuoq, Pascal; Monate, Benjamin; Pacalet, Anne; Prevosto, Virgile; Yakobowski, Boris; Yang, Xuejun |
Title |
Testing static analyzers with randomly generated programs |
Date |
2012-01-01 |
Description |
Static analyzers should be correct. We used the random C-program generator Csmith, initially intended to test C compilers, to test parts of the Frama-C static analysis platform. Although Frama-C was already relatively mature at that point, fifty bugs were found and fixed during the process, in the front-end (AST elaboration and type-checking) and in the value analysis, constant propagation and slicing plug-ins. Several bugs were also found in Csmith, even though it had been extensively tested and had been used to find numerous bugs in compilers. |
Type |
Text |
Publisher |
Springer |
Volume |
7226 |
First Page |
120 |
Last Page |
125 |
DOI |
Doi 10.1007/978-3-642-28891-3_12. |
Dissertation Institution |
University of Utah |
Language |
eng |
Bibliographic Citation |
Cuoq, P., Monate, B., Pacalet, A., Prevosto, V., Regehr, J., Yakobowski, B., & Yang, X. (2012). Testing static analyzers with randomly generated programs. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7226, 120-5. |
Rights Management |
(c) Springer ; Reprinted from Cuoq, P., Monate, B., Pacalet, A., Prevosto, V., Regehr, J., Yakobowski, B., & Yang, X. (2012). Testing static analyzers with randomly generated programs. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7226, 120-5. (The original publication is available at www.springerlink.com). |
Format Medium |
application/pdf |
Format Extent |
468,461 bytes |
Identifier |
uspace,17374 |
ARK |
ark:/87278/s63x8rct |
Setname |
ir_uspace |
ID |
707952 |
Reference URL |
https://collections.lib.utah.edu/ark:/87278/s63x8rct |