| Publication Type |
manuscript |
| School or College |
College of Engineering |
| Department |
Kahlert School of Computing |
| 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 |
© Springer ; Reprinted from Cuoq, P., Monate, B., Pacalet, A., Prevosto, V., Regehr, J., Yakobowski, B., & Yang, X. |
| 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 |
