驅動程式程式碼分析

驅動程式的程式碼分析是一種編譯時間靜態驗證工具,可偵測 C 和 C++ 程式中的基本程式碼撰寫錯誤,並包含特製化模組,其設計目的是要偵測主要) 核心模式驅動程式程式碼中的 (錯誤。

注意 在舊版 WDK 中,程式碼分析的驅動程式專屬模組是稱為 PREfast for Drivers (PFD) 的獨立工具的一部分。 PrEfast for Drivers 也已整合到 WDK 組建環境中,作為 Microsoft 自動化程式碼檢閱 (OACR) 的一部分。 從 Windows 驅動程式套件 (WDK) 8 開始,驅動程式特定功能已與 使用程式碼分析工具分析應用程式品質整合。

本節內容