次の方法で共有

ドライバーのコード分析

  • [アーティクル]

Code Analysis for Drivers は、C および C++ プログラムの基本的なコーディング エラーを検出するコンパイル時の静的検証ツールであり、(主に) カーネル モード ドライバー コードのエラーを検出するように設計された特殊なモジュールが含まれています。

WDK の以前のバージョンでは、コード分析用のドライバー固有のモジュールは、PREfast for Drivers (PFD) と呼ばれるスタンドアロン ツールの一部でした。 PREfast for Drivers は、Microsoft Automated Code Review (OACR) の一部として WDK Build 環境にも統合されました。 Windows Driver Kit (WDK) 8 以降、ドライバー固有の機能がコード分析ツールを使用したアプリケーション品質の分析に統合されました。

重要

Windows ハードウェア互換性プログラムには、クライアントおよびサーバー オペレーティング システム上の静的ツール ロゴ (STL) テスト用の CodeQL が必要です。 引き続き、古い製品の SDV と CA のサポートを維持します。 パートナーは、静的ツール ロゴ テストの CodeQL 要件を確認することを強くお勧めします。 CodeQL の使用方法の詳細については、「 CodeQL と静的ツール ロゴ テストを参照してください。

このセクションの内容

重要

ドライバーのコード分析は Windows 24H2 WDK と EWDK で利用できますが、今後廃止される予定であることをお勧めします。
今後、CodeQL はドライバーの主要な静的分析ツールになります。 CodeQL には、クエリ対象のデータベースとしてコードを扱う強力なクエリ言語が用意されているため、特定の動作やパターンなどに対するクエリを簡単に記述できます。 CodeQL の使用方法の詳細については、「 CodeQL と静的ツール ロゴ テストを参照してください。