Query aggiuntive del codice del driver di WindowsQL

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.

Elenco di query

Query Name	Description
API deprecata di WDK	Trova le istanze delle API di allocazione del pool deprecate
UseAfterFree	Trova le istanze selezionate dei difetti UseAfterFree nel codice sorgente del driver (precisione elevata)
Probable UseAfterFree	Trova quasi tutte le istanze dei difetti UseAfterFree nel codice sorgente del driver (precisione bassa)
PaddingByteInformationDisclosure	Verifica la presenza di nuove classi o struct allocati inizializzati per membro perché potrebbero perdere informazioni se includono byte di riempimento.
BadOverflowGuard	Controllo dell'overflow di un'addizione confrontandolo con uno degli argomenti dell'addizione. Ha esito negativo se le dimensioni di tutti i tipi di argomento sono inferiori a 4 byte.
InfiniteLoop	Trova confronti tra tipi di larghezze diverse in una condizione del ciclo che può causare l'interruzione del ciclo.
UninitializedPtrField	Cerca un campo puntatore che non è stato inizializzato durante o perché la costruzione della classe causerà una dereferenziazione puntatore Null.
HardcodedIVCNG	Trova un utilizzo errato dei vettori di inizializzazione.