共用方式為


靜態驅動程式驗證器選項檔案

靜態驅動程式驗證器選項檔案sdv-default.xml會儲存靜態驅動程序驗證器的預設選項設定。 此檔案會在 WDK 的 \tools\sdv\data\wdm 和 \tools\sdv\data\wdf 子目錄中建立。 您可以編輯檔案來變更選項設定,並將它複製到任何驅動程式的來源目錄。

本節包含:

全域和本機選項檔案

選項檔案欄位

選項檔案範例

重要

不再支援 SDV,且 Windows 24H2 WDK 或 EWDK 版本無法使用 SDV。 它不適用於比組建 26017 還新的 WDK,而且不包含在 Windows 24H2 RTM WDK 中。 從下載 Windows 驅動程式套件 (WDK) 下載 Windows 11 版本 22H2 EWDK(2023 年 10 月 24 日發行)與 Visual Studio 組建工具 17.1.5,仍然可以使用 SDV。 建議只使用企業 WDK 來執行 SDV。 不建議使用舊版的標準 WDK 搭配最新版的 Visual Studio,因為這可能會導致分析失敗。
接下來,CodeQL 將是驅動程式的主要靜態分析工具。 CodeQL 提供功能強大的查詢語言,會將程式代碼視為要查詢的資料庫,讓您輕鬆地撰寫查詢特定行為、模式等等。 如需使用 CodeQL 的詳細資訊,請參閱 CodeQL 和靜態工具標誌測試