共用方式為


驅動程式程式碼分析

驅動程式的程式代碼分析是一種編譯時期靜態驗證工具,可偵測 C 和 C++ 程式的基本編碼錯誤,並包含專門模組,其設計目的是偵測核心模式驅動程式程式代碼中的錯誤。

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

重要

Windows 硬體相容性計劃需要 CodeQL,在我們的用戶端和伺服器作業系統上進行靜態工具標誌 (STL) 測試。 我們將繼續在舊版產品上維護 SDV 和 CA 的支援。 強烈建議合作夥伴檢閱靜態工具標誌測試的程式代碼QL需求。 如需使用 CodeQL 的詳細資訊,請參閱 CodeQL 和靜態工具標誌測試

本節內容

重要

驅動程式的程式代碼分析可在 Windows 24H2 WDK 和 EWDK 中使用,但建議您在未來日期將淘汰。
接下來,CodeQL 將是驅動程式的主要靜態分析工具。 CodeQL 提供功能強大的查詢語言,會將程式代碼視為要查詢的資料庫,讓您輕鬆地撰寫查詢特定行為、模式等等。 如需使用 CodeQL 的詳細資訊,請參閱 CodeQL 和靜態工具標誌測試