開發者 smatch.sf.net

查找內核錯誤的實驗。斯馬奇有兩個主要部分。 第一個是補丁到gcc源列印出大量的資訊。 第二部分是用於分析資訊的 perl 腳本和庫的集合。