ドライバーのコード分析

  • [アーティクル]

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 と静的ツールのロゴ テスト」を参照してください。

このセクションの内容