ドライバーのコード分析は、C および C++ プログラムの基本的なコーディング エラーを検出するコンパイル時の静的検証ツールであり、(主に) カーネル モード ドライバー コードでエラーを検出するように設計された特殊なモジュールが含まれています。
WDK の以前のバージョンでは、コード分析用のドライバー固有のモジュールは、PREfast for Drivers (PFD) と呼ばれるスタンドアロン ツールの一部でした。 ドライバーの PREfast は、Microsoft 自動コード レビュー (OACR) の一部として、WDK ビルド環境にも統合されました。 Windows Driver Kit (WDK) 8 以降では、ドライバー固有の機能は、 コード分析ツールを使用したアプリケーション品質の分析と統合されています。
Von Bedeutung
Windows ハードウェア互換性プログラムには、クライアントおよびサーバー オペレーティング システム上の静的ツール ロゴ (STL) テスト用の CodeQL が必要です。 古い製品については、引き続き SDV と CA のサポートを維持します。 パートナーは、静的ツール ロゴ テストの CodeQL 要件を確認することを強くお勧めします。 CodeQL の使用方法の詳細については、「 CodeQL と静的ツールのロゴ テスト」を参照してください。
このセクションでは...
Von Bedeutung
ドライバーのコード分析は Windows 24H2 WDK と EWDK で利用できますが、今後廃止される予定であることをお勧めします。
今後、CodeQL はドライバーの主要な静的分析ツールになります。 CodeQL には、クエリ対象のデータベースとしてコードを扱う強力なクエリ言語が用意されているため、特定の動作やパターンなどに対するクエリを簡単に記述できます。
CodeQL の使用方法の詳細については、「 CodeQL と静的ツールのロゴ テスト」を参照してください。