驅動程式的程式碼分析是編譯階段靜態驗證工具，可偵測 C 和 C++ 程式中的基本編碼錯誤，並包含專門的模組，其設計目的是要偵測 （主要） 核心模式驅動程式程式碼中的錯誤。
在舊版的 WDK 中，用於程式代碼分析的驅動程式特定模組是稱為 PREfast for Drivers （PFD） 的獨立工具的一部分。 PREfast for Drivers 也已整合至 WDK 建置環境，作為 Microsoft 自動化程式代碼檢閱 （OACR） 的一部分。 從 Windows 驅動程式套件 （WDK） 8 開始，驅動程式特定功能已與使用 程式代碼分析工具分析應用程式品質整合。
這很重要
Windows 硬體相容性計劃要求在我們的用戶端和伺服器作業系統上使用 CodeQL 進行靜態工具徽標 (STL) 測試。 我們將繼續在舊版產品上維護 SDV 和 CA 的支援。 強烈建議合作夥伴檢閱 靜態工具標誌測試的 CodeQL 需求。 如需使用 CodeQL 的詳細資訊，請參閱 CodeQL 和靜態工具標誌測試。
本節中
這很重要
驅動程式的程式碼分析可在 Windows 24H2 WDK 和 EWDK 中使用，但請注意，計劃在未來的某個日期淘汰。
接下來，CodeQL 將是驅動程式的主要靜態分析工具。 CodeQL 提供功能強大的查詢語言，會將程式代碼視為要查詢的資料庫，讓您輕鬆地撰寫查詢特定行為、模式等等。
如需使用 CodeQL 的詳細資訊，請參閱 CodeQL 和靜態工具標誌測試。