コード分析ツールのログ ファイルの作成
Windows ハードウェア認定プログラムでは、ドライバーの申請にドライバー検証ログ (DVL) が必要です。 ドライバーの DVL を作成する前に、コード分析ツールの実行が必要になる場合があります。 DVL には、CodeQL、コード分析、静的ドライバー検証ツールのログ ファイルなどのツールの結果の概要を含めることができます。 ログ ファイルにはソース コード情報は含まれません。 詳細については、「静的ツール ロゴ テストと CodeQL」および「静的ツール ロゴ テスト」を参照してください。
ドライバーのコード分析を実行するには
- Microsoft Visual Studio で、ドライバー プロジェクト ファイルを選択し、長押し (または右クリック) してプロジェクトのプロパティを開きます。
- [分析] または [ビルド] メニューの [ソリューションでコード分析を実行] を選びます。
- エラーまたは警告が見つかった場合は、「コード分析レポート」ウィンドウを使用してエラーの原因を調査します。 これらの問題を解決するには、警告メッセージを使用してください。 コード分析ツールの詳細については、「ドライバーのコード分析を実行する方法」および「コード分析を使用した C/C++ コード品質の分析」を参照してください。
ドライバーのコード分析ツールは、結果をプロジェクトのビルド構成とプラットフォームのサブディレクトリ (たとえば \Windows 8Release\x64) の vc.nativecodeanalysis.all.xml ファイルに書き込みます。
解説
Code Analysis for Drivers は、C および C++ プログラムの基本的なコーディング エラーを検出するコンパイル時の静的検証ツールであり、(主に) カーネル モード ドライバー コードのエラーを検出するように設計された特殊なモジュールが含まれています。 WDK の以前のバージョンでは、コード分析用のドライバー固有のモジュールは、PREfast for Drivers (PFD) と呼ばれるスタンドアロン ツールの一部でした。
Visual Studio のコマンド プロンプト ウィンドウ
Visual Studio コマンド プロンプト ウィンドウからコード分析ツールを実行することもできます。 次のいずれかのバッチ ファイルを実行して環境をセットアップします。
"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
コード分析ツールを実行します。 提出に適した Windows リリースを使用します。
msbuild.exe <vcxprojectfile> /p:Configuration="Win8 Release" /P:Platform=x64 /target:clean
msbuild.exe <vcxprojectfile> /p:Configuration="Win8 Release" /P:Platform=x64 /P:RunCodeAnalysisOnce=True
ドライバー検証ログの要件に関する最新情報については、WDK リリース ノートを参照してください。