プログラム smatch.sf.net

カーネルエラーを見つける実験。Smatchには2つの主要な部分があります。 1つ目は、多くの情報を印刷するためのgccソースへのパッチです。 2 番目の部分は、情報を分析するための perl スクリプトとライブラリのコレクションです。