A Few Billion Lines of Code Later Using Static Analysis to Find Bugs in the Real World

A Few Billion Lines of Code Later Using Static Analysis to Find Bugs in the Real World
复制标题

DOI:
10.1145/1646353.1646374
复制
发表时间:
2010-02-01
影响因子:
22.7
通讯作者:
Engler, Dawson
Engler, Dawson
中科院分区:
计算机科学3区
文献类型:
--
作者:
Bessey, Al;Block, Ken;Engler, Dawson

文献摘要

被引文献

相似文献

Coverity如何围绕软件系统中无限的bug建立一个bug查找工具和一个业务。
How Coverity built a bug-finding tool, and a business, around the unlimited supply of bugs in software systems.