建立靜態驅動程式驗證工具的記錄檔
Windows 硬體認證計劃需要驅動程式驗證記錄檔 (DVL) 以提交驅動程式。 您可能需要先執行靜態驅動程序驗證器,才能為您的驅動程式建立 DVL。 DVL 可以包含程式代碼QL、程式代碼分析和靜態驅動程序驗證器等工具的結果摘要。 記錄檔不包含原始程式碼資訊。 如需其他詳細數據,請參閱靜態工具標誌測試和 CodeQL 和靜態工具標誌測試。
建立 SDV 的記錄檔
- 在 Microsoft Visual Studio 中,選取驅動程式專案檔,然後選取並按住 [或以滑鼠右鍵按兩下] 以開啟項目屬性。
- 如果您已經執行程式代碼分析工具,請遵循這些指示來執行 靜態驅動程序驗證器。 如需使用 SDV 的詳細資訊,請參閱使用靜態驅動程式驗證器尋找驅動程式中的瑕疵
- 如果 SDV 在您的驅動程式中發現瑕疵,請在 [結果] 窗格中選取瑕疵,以檢視導致規則違規的程式碼路徑追蹤。 修正驅動程式中找到的任何瑕疵,然後再次執行 SDV。
靜態驅動程式驗證器會將結果寫入專案中 SDV 子目錄中的檔案SDV.DVL.xml,例如 \myDriverProject\SDV。
備註
如需靜態驅動程式驗證器和驅動程式驗證記錄檔的最新資訊,請參閱 WDK 版本資訊。 版本資訊可在 Windows 驅動程式套件 (WDK) 下載頁面上取得。
重要
認證提交可以接受 DVL 檔案中的逾時、空格和其他非成功結果。 這不會造成 HCK 中的靜態工具測試失敗。 若為 HCK 2.0,靜態工具測試只需要顯示已執行程式碼分析和 SDV 的 DVL 檔案,而且不需要通過所有規則。
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
執行靜態驅動程式驗證器。
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"