Query del codice del driver Windows supplementariQL
In questa sezione vengono elencate e descritte alcune query CodeQL incluse nell'ambito del repository CodeQL di Microsoft GitHub specifico per lo sviluppo di driver per la piattaforma Windows.
Elenco di query
| Nome query | Descrizione |
|---|---|
Trova le istanze delle API di allocazione del pool deprecate |
|
Trova le istanze selezionate dei difetti UseAfterFree nel codice sorgente del driver (precisione elevata) |
|
Trova quasi tutte le istanze dei difetti UseAfterFree nel codice sorgente del driver (con bassa precisione) |
|
Verifica la presenza di nuove classi o struct allocati inizializzati per membro perché potrebbero perdere informazioni se includono byte di spaziatura interna. |
|
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. |
|
Trova confronti tra tipi di larghezze diverse in una condizione del ciclo che può causare l'interruzione del ciclo. |
|
Cerca un campo puntatore che non è stato inizializzato durante o perché la costruzione della classe causerà una dereferenziazione del puntatore Null. |
|
Trova un utilizzo non corretto dei vettori di inizializzazione. |