據外電報道，近期Coverity公司對Linux操作系統所做一次掃描發現，此前發現的核心代碼缺陷已得以修復，但是修復過程又產生了一些小問題。 去年12月，Coverity對Linux 2.6.9版的內核的掃描後，在核心文件系統和網絡代碼上發現了6大重要問題。今年7月，這家公司再度對新版的Linux 2.6.12版的內核進行了掃描，沒有再發現這些程序錯誤。 不過，據Coverity公司 CEO Seth Hallem介紹，經修復以後，Linux 2.6.12版在其它部分的代碼共發現了1008項問題，這些代碼問題主要與趨動器有關。而此前的掃描只發現985項問題。 Hallem稱，程序員在修補重要問題的同時，寫的新代碼中帶有問題。 統計表明，Linux代碼缺陷密度，即每千行代碼中的缺陷錯誤數量略有下降，從原來的0.17降至0.16。這一跡象表明Linux正在走向成熟。 Coverity公司采用的代碼分析工具可以發現C與C++程序中的常見錯誤。不過公司沒有透露這些缺陷的具體情況。 由於微軟公司的代碼沒有公開，所以現在無法將Linux和Windows的代碼安全進行比較。 不過，微軟也采用了分析工具來對Windows系統代碼進行分析，其中一種工具叫Prefast，它用於分析每一位程序員的工作站上的代碼問題。另一個工具Prefix則每天晚上都對Windows源代碼進行分析，以找出更復雜的問題。 按照慣例，Coverity公司計劃將找到問題通告給Linux的開發者，以便這些缺陷能得到盡快的修復。
