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. |
Commenti e suggerimenti
Presto disponibile: Nel corso del 2024 verranno gradualmente disattivati i problemi di GitHub come meccanismo di feedback per il contenuto e ciò verrà sostituito con un nuovo sistema di feedback. Per altre informazioni, vedere https://aka.ms/ContentUserFeedback.
Invia e visualizza il feedback per