Zachary R. Anderson, Eric A. Brewer, Jeremy Condit, Robert Ennals, David Gay, Matthew Harren, George C. Necula, Feng Zhou. Beyond Bug-Finding: Sound Program Analysis for Linux. In Galen C. Hunt, editor, Proceedings of HotOS 07: 11th Workshop on Hot Topics in Operating Systems, May 7-9, 2005, San Diego, California, USA. USENIX Association, 2007. [doi]
@inproceedings{AndersonBCEGHNZ07,
title = {Beyond Bug-Finding: Sound Program Analysis for Linux},
author = {Zachary R. Anderson and Eric A. Brewer and Jeremy Condit and Robert Ennals and David Gay and Matthew Harren and George C. Necula and Feng Zhou},
year = {2007},
url = {http://www.usenix.org/events/hotos07/tech/full_papers/anderson/anderson.pdf},
tags = {program analysis, analysis, C++},
researchr = {https://researchr.org/publication/AndersonBCEGHNZ07},
cites = {0},
citedby = {0},
booktitle = {Proceedings of HotOS 07: 11th Workshop on Hot Topics in Operating Systems, May 7-9, 2005, San Diego, California, USA},
editor = {Galen C. Hunt},
publisher = {USENIX Association},
}