最終更新:2012-06-04 (月) 21:17:45 (4316d)
PREfast for Drivers
Top / PREfast for Drivers
http://msdn.microsoft.com/ja-jp/windows/hardware/gg487345.aspx
http://msdn.microsoft.com/en-us/library/ff550543(VS.85).aspx
REfast for Drivers について
- PREfast for Drivers (PFD) (PREfast の拡張機能) は、コンパイラや従来のランタイム テストでは発見できないエラーを検出する、コンパイル時用の静的検証ツールです。
- C や C++ のプログラムに共通のコーディング エラーを検出し、カーネル モード ドライバーのコーディング エラーを検出するよう設計されています。
- 開発サイクルの極めて初期、コードが正常にコンパイルされた時点で、実行できます。
- Windows の自動化されたコード レビュー (OACR) と同様に、Windows Driver Kit (WDK) の Windows 7 ビルド環境へ統合されています。
- 総括的な PREfast でのサポートを超えて、IRQL?、リソース オブジェクト リーク、メモリ リーク、およびより厳密なチェックに関するコメントなど、多数のボキャブラリのコメントをサポートします。
- 一般的なドライバー エラーや不適切なコーディング手法を検出して、コード内の各機能を独立して検査します。
- より大きなドライバー上でさえ迅速に動作し、エラーを生じる可能性のあるドライバー コードの行を識別するレポートを生成します。
- Windows Windows XP 以降のバージョン上で動作し、x86 ベースのプラットフォームと x64 ベースのプラットフォーム用に作成されたコードを分析するように設計されています。
- すべてのドライバー モデルのドライバーの C や C++ のソース ファイルを、マネージ コードを含み分析できます。