Share via

使用程式碼分析和驗證工具來分析驅動程式

  • 發行項

程式碼分析和驗證工具可藉由有系統地分析原始程式碼，協助改善驅動程式的穩定性和可靠性。 程式碼分析和驗證工具可以偵測編譯器和傳統執行時間測試遺漏的錯誤。 此外，他們可以判斷驅動程式是否正確地與 Windows 作業系統核心互動。 使用 Microsoft Visual Studio 和 Windows 驅動程式套件 (WDK) ，您可以設定程式碼分析和驗證工具以在建置程式中執行，或排程工具在預先決定的時間分析驅動程式。

適用于 Windows 驅動程式的 C/C++ 程式碼分析工具

WDK 的Windows 8版本提供 Visual Studio 隨附之 C/C++ 程式碼分析工具的增強功能。 具體而言，WDK 提供特製化驅動程式模組，其設計目的是偵測核心模式驅動程式程式碼中的錯誤。 此驅動程式模組已整合到 C/C++ 程式碼分析工具中。

使用時機： 一旦程式碼正確編譯，您就可以在開發週期初期執行驅動程式的 C/C++ 程式碼分析工具。

如需 Visual Studio 中程式碼分析工具的相關資訊，請參閱：

注意 在舊版 WDK 中，程式碼分析的驅動程式特定模組是稱為 PREfast for Drivers (PFD) 的獨立工具的一部分。 PrEfast for Drivers 也已整合到 WDK 組建環境中，作為 Microsoft 自動化程式碼檢閱 (OACR) 的一部分。

靜態驅動程式驗證器

靜態驅動程式驗證器 (SDV) 是一種靜態驗證工具，有系統地分析 Windows 核心模式驅動程式的原始程式碼。 SDV 會判斷驅動程式是否正確地與 Windows 作業系統核心互動。 您可以從 Visual Studio 中的 [驅動程式 ] 功能表，或從 [Visual Studio 命令提示字元 ] 視窗啟動 SDV。

使用時機： 在正確編譯的驅動程式上，提早在開發週期中執行靜態驅動程式驗證程式。 開始測試週期之前，請先執行靜態驅動程式驗證程式。

如需靜態驅動程式驗證器的相關資訊，請參閱：