カーネルエラーを見つける実験。 Smatchには2つの主要な部分があります。 1つ目は、多くの情報を印刷するためのgccソースへのパッチです。 2 番目の部分は、情報を分析するための perl スクリプトとライブラリのコレクションです。
バージョン履歴
- バージョン smatch-patch-v.08 に転記 2003-07-01
いくつかの修正と更新 - バージョン smatch-patch-v.08 に転記 2003-07-01
プログラムの詳細
- カテゴリ: 開発 > 他
- パブリッシャー: smatch.sf.net
- ライセンス: 無料
- 価格: N/A
- バージョン: 08
- プラットフォーム: linux