開發者 smatch.sf.net

smatch source matcher 免費

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