驅動程式程式碼分析

驅動程式的程式代碼分析是一種編譯時期靜態驗證工具，可偵測 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 驅動程式的 SAL 2 註釋
• 驅動程式警告的程式代碼分析

重要

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