補充 Windows 驅動程式程式代碼QL 查詢

This section lists and describes a handful of CodeQL queries that are included as part of the Microsoft GitHub CodeQL repository that are specific to driver development for the Windows platform.

查詢清單

Query Name	Description
WDK 已淘汰的 API	尋找已取代的集區配置 API 實例
UseAfterFree	在驅動程式原始程式碼中尋找 UseAfterFree 缺陷的選取實例 （高精度）
Probable UseAfterFree	在驅動程式原始程式碼中尋找幾乎所有 UseAfterFree 缺陷實例 （低精確度）
PaddingByteInformationDisclosure	檢查新配置的結構或類別是逐個成員初始化的，因為它們可能會在包含填補位元組時洩漏資訊。
BadOverflowGuard	透過與加法的其中一個引數進行比較來檢查加法的溢位。 如果所有引數類型的大小都小於 4 個位元組，則會失敗。
InfiniteLoop	在迴圈條件中尋找不同寬度類型之間的比較，這可能導致迴圈無法終止。
UninitializedPtrField	尋找在類別建構期間或自從類別建構期間或之後未初始化的指標欄位，會導致空值指標取消參照。
HardcodedIVCNG	尋找初始化向量的不正確使用方式。