静的ドライバー検証ツールのオプション ファイル

  • [アーティクル]

静的ドライバー検証ツールのオプション ファイル (sdv-default.xml) には、静的ドライバー検証ツールのデフォルトのオプション設定を保存します。 このファイルは、WDK の \tools\sdv\data\wdm および \tools\sdv\data\wdf のサブディレクトリに作成されます。 このファイルを編集してオプション設定を変更し、任意のドライバーのソース ディレクトリにコピーできます。

このセクションには、次が含まれます。

グローバル オプション ファイルとローカル オプション ファイル

オプション ファイルのフィールド

オプション ファイルの例

重要

SDV はサポートされなくなり、Windows 24H2 WDK または EWDK リリースでは SDV を使用できません。 ビルド 26017 より新しい WDK では使用できません。また、Windows 24H2 RTM WDK には含まれていません。 SDV は、Windows 11 バージョン 22H2 EWDK (2023 年 10 月 24 日リリース) と Visual Studio ビルド ツール 17.1.5 を からダウンロードすることで引き続き使用。 SDV を実行する Enterprise WDK のみを使用することをお勧めします。 古いバージョンの標準 WDK を Visual Studio の最近のリリースと組み合わせて使用することはお勧めしません。これにより、分析エラーが発生する可能性があります。
今後、CodeQL はドライバーの主要な静的分析ツールになります。 CodeQL には、クエリ対象のデータベースとしてコードを扱う強力なクエリ言語が用意されているため、特定の動作やパターンなどに対するクエリを簡単に記述できます。 CodeQL の使用方法の詳細については、「 CodeQL と静的ツール ロゴ テストを参照してください。