驗證驅動程式的工具
Windows 驅動程式套件 （WDK） 包含數個非常全面的工具，旨在協助您在開發程式期間偵測和更正驅動程式程式代碼中的錯誤。 在開發程式中，許多這些工具都可以非常早地使用，這些工具最重要，而且可以節省您最多時間和精力。
WDK 檔中會說明這些驗證工具，並建議您使用，因為每個工具會以不同的方式偵測不同類型的驅動程序錯誤。 這些工具比手動檢查更有效率。 這些工具可以偵測標準驅動程序測試中通常找不到的錯誤，並體現了經驗豐富的驅動程式開發人員和 Windows 驅動程式介面設計工具的專業知識。
為了獲得最佳結果，請使用可在驅動程式上執行的所有工具。 如果您省略任何這些工具，您可能會錯過驅動程式中的嚴重錯誤。
重要
Windows 硬體相容性計劃需要 CodeQL，在我們的用戶端和伺服器作業系統上進行靜態工具標誌 （STL） 測試。 我們將繼續在舊版產品上維護 SDV 和 CA 的支援。 強烈建議合作夥伴檢閱靜態工具標誌測試的程式代碼QL需求。 如需使用 CodeQL 的詳細資訊，請參閱 CodeQL 和靜態工具標誌測試。
本節從簡短討論程式代碼驗證工具的特性，以及 WDK 和 Windows 中包含的工具調查，或從 Microsoft 取得。
本節包含：
其他工具
如果您有其他程式代碼或驅動程序驗證工具的存取權（來自其他來源），除了 WDK 中的工具之外，也建議您使用這些工具。 請務必使用驅動程式驗證器和核心位址清理程式等工具，因為其 Windows 驅動程式的特定知識，但每個工具都會以不同的方式查看程式碼，因此可協助您尋找並修正不同類型的問題。