建立程式代碼分析工具的記錄檔
Windows 硬體認證計劃需要驅動程式驗證記錄檔 (DVL) 以提交驅動程式。 您可能需要先執行程式代碼分析工具,才能為驅動程式建立 DVL。 DVL 可以包含程式代碼QL、程式代碼分析和靜態驅動程序驗證程式記錄檔等工具的結果摘要。 記錄檔不包含原始程式碼資訊。 如需其他詳細數據,請參閱靜態工具標誌測試和 CodeQL 和靜態工具標誌測試
在驅動程式上執行程式代碼分析
- 在 Microsoft Visual Studio 中,選取驅動程式專案檔,然後選取並按住 [或以滑鼠右鍵按兩下] 以開啟項目屬性。
- 從 [分析] 或 [建置] 功能表中,選取 [在方案上執行程序代碼分析]。
- 如果找到錯誤或警告,請使用 [ 程序代碼分析報告 ] 視窗來調查錯誤的原因。 使用警告訊息來修正這些問題。 如需程式代碼分析工具的詳細資訊,請參閱 如何使用程式代碼分析執行驅動程式 的程式代碼分析和使用 程式代碼分析分析 C/C++ 程式代碼品質。
驅動程式的程式代碼分析工具會將結果寫入專案組建組態和平台子目錄中的檔案vc.nativecodeanalysis.all.xml,例如 \Windows 8Release\x64。
備註
驅動程式的程式代碼分析是一種編譯時期靜態驗證工具,可偵測 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 版本資訊。