Key points are not available for this paper at this time.
我们呈现了一项关于通过自动静态编译器分析发现的操作系统错误的研究，该分析应用于Linux和OpenBSD内核。我们的方法不同于之前通过手动检查日志、测试和调查发现错误的研究，因为静态分析均匀应用于整个内核源代码，尽管我们的方法必然考虑的错误种类比之前的研究少。此外，自动化使我们能够跟踪多个版本的内核源中的错误，以估计错误在修复前在系统中存在的时间。我们发现设备驱动程序的错误率比内核其他部分高出三到七倍。我们发现最大的四分位数函数的错误率比最小的四分位数高出两到六倍。我们发现最新的四分位数文件的错误率最高可达最古老四分位数的两倍，这提供了证明代码随时间“硬化”的证据。最后，我们发现Linux内核中的错误平均存在1.8年才被修复.
Chou等人（Sun，）研究了这个问题。