静的ドライバー検証ツールの使用
すぐに起動して実行するために必要な操作については、「Windows ドライバーで静的ドライバー検証ツールを使用して欠陥を見つける」を参照してください 。
このセクションの内容
- 関数役割型宣言の使用
- ドライバーのスキャン
- 静的ドライバー検証ツールの結果の解釈
- 静的ドライバー検証ツールのレポートの使用
- 静的ドライバー検証ツールのトラブルシューティングに関する推奨事項
- SDV とサンプル ドライバーの使用
重要
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 と静的ツール ロゴ テストを参照してください。