用於驗證驅動程式的工具

Windows 驅動程式套件 (WDK) 包含數個非常完整的工具，旨在協助您在開發程式期間偵測並修正驅動程式程式碼中的錯誤。 許多這些工具都可以在開發程式中非常早使用，其中最重要，而且可以節省您最多時間和精力。

WDK 檔中會說明這些驗證工具，並建議您使用，因為每個工具都會以不同的方式偵測不同類型的驅動程式錯誤。 這些工具比手動檢查更有效率。 這些工具可以偵測標準驅動程式測試中通常找不到的錯誤，而且它們能展現熟悉的驅動程式開發人員和 Windows 驅動程式介面設計工具的專業知識。

為了獲得最佳結果，請使用可在驅動程式上執行的所有工具。 如果您省略任何這些工具，您可能會錯過驅動程式中的嚴重錯誤。

本節一開始會簡短討論程式碼驗證工具的特性，以及 WDK 和 Windows 中所包含的工具問卷，或從 Microsoft 取得。

本節包括：

靜態和動態驗證工具

驅動程式程式碼分析

驅動程式驗證器

靜態驅動程式驗證器

DDI 合規性規則

CodeQL 和靜態工具標誌測試

其他工具

如果您可從其他來源存取其他程式碼或驅動程式驗證工具 () ，建議您除了 WDK 中的工具之外，也使用這些工具。 請務必使用驅動程式、靜態驅動程式驗證程式和驅動程式驗證程式的程式代碼分析，因為 Windows 驅動程式的特定知識，但每個工具都會以不同的方式查看程式碼，因此可協助您找出並修正不同類型的問題。