驅動程式程式碼分析
驅動程式的程式代碼分析是一種編譯時期靜態驗證工具,可偵測 C 和 C++ 程式中的基本程式代碼撰寫錯誤,並包含特製化模組,其設計目的是偵測核心模式驅動程式程式代碼中的錯誤。
注意 在舊版的 WDK 中,程式代碼分析的驅動程式特定模組是稱為 PREfast for Drivers (PFD) 的獨立工具的一部分。 驅動程式的PREfast也已整合到WDK建置環境,作為 Microsoft 自動化程式代碼檢閱 (OACR) 的一部分。 從 Windows 驅動程式套件 (WDK) 8 開始,驅動程式特定功能已與 使用程式代碼分析工具分析應用程式品質整合。
重要
Windows 硬體相容性計劃需要 CodeQL,在我們的用戶端和伺服器作業系統上進行靜態工具標誌 (STL) 測試。 我們將繼續在舊版產品上維護 SDV 和 CA 的支援。 強烈建議合作夥伴檢閱靜態工具標誌測試的程式代碼QL需求。 如需使用 CodeQL 的詳細資訊,請參閱 CodeQL 和靜態工具標誌測試。
本節內容
意見反應
https://aka.ms/ContentUserFeedback。
即將登場:在 2024 年,我們將逐步淘汰 GitHub 問題作為內容的意見反應機制,並將它取代為新的意見反應系統。 如需詳細資訊,請參閱:提交並檢視相關的意見反應