次の方法で共有

静的ドライバー検証ツールのログ ファイルの作成

  • [アーティクル]

Windows ハードウェア認定プログラムでは、ドライバーの申請にドライバー検証ログ (DVL) が必要です。 ドライバーの DVL を作成する前に、静的ドライバー検証ツールを実行することが必要な場合があります。 DVL には、CodeQL、コード分析、静的ドライバー検証ツールなどのツールの結果の概要を含めることができます。 ログ ファイルにはソース コード情報は含まれません。 詳細については、「静的ツール ロゴ テストと CodeQL」および「静的ツール ロゴ テスト」を参照してください。

SDV のログ ファイルを作成する

  1. Microsoft Visual Studio で、ドライバー プロジェクト ファイルを選択し、長押し (または右クリック) してプロジェクトのプロパティを開きます。
  2. コード分析ツールをすでに実行している場合は、次の手順に従って静的ドライバー検証ツールを実行してください。 SDV の使用の詳細については、「静的ドライバー検証ツールを使用してドライバー内の欠陥を検出する」を参照してください。
  3. SDV によってドライバーの欠陥が見つかった場合、ルール違反の原因になったコード パスのトレースを表示するには、結果ペインで欠陥を選びます。 ドライバーで見つかった欠陥を修正し、SDV を再度実行します。

静的ドライバー検証ツールは、結果をプロジェクトの SDV サブディレクトリ (たとえば \myDriverProject\SDV) の SDV.DVL.xml ファイルに書き込みます。

解説

静的ドライバー検証ツールとドライバー検証ログに関する最新情報については、WDK リリース ノートを参照してください。 リリース ノートは、Windows Driver Kit (WDK) のダウンロード ページから入手できます。

重要

DVL ファイルでタイムアウト、領域不足などの失敗した結果があっても、認定用に申請できます。 これにより、HCK の静的ツール テストが失敗することはありません。 HCK 2.0 の場合、静的ツール テストでは、コード分析と SDV が実行されたことを示すために DVL ファイルの存在のみが必要で、すべてのルールに合格する必要はありません。

Visual Studio のコマンド プロンプト ウィンドウ

Visual Studio コマンド プロンプト ウィンドウから Static Driver Verifier を実行することもできます。 次のいずれかのバッチ ファイルを実行して環境をセットアップします。

"C:\Program Files\Microsoft Visual Studio 11.0\VC\vcvarsall.bat" x64

-または-

"C:\Program Files (x86)\Microsoft Visual Studio 11.0\VC\vcvarsall.bat" x64

静的ドライバー検証ツールを実行します。

msbuild.exe <vcxprojectfile> /p:Configuration="Win8 Release" /p:Platform=x64 /target:sdv /p:inputs="/clean"
msbuild.exe <vcxprojectfile> /p:Configuration="Win8 Release" /p:Platform=x64 /target:sdv /p:inputs="/check:default.sdv"