Remarque
L’accès à cette page nécessite une autorisation. Vous pouvez essayer de vous connecter ou de modifier des répertoires.
L’accès à cette page nécessite une autorisation. Vous pouvez essayer de modifier des répertoires.
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.
Liste des requêtes
| Query Name | Description |
|---|---|
Recherche des instances d’API d’allocation de pool déconseillées |
|
Recherche des instances de défauts UseAfterFree dans le code source du pilote (haute précision) |
|
Recherche presque toutes les instances des défauts UseAfterFree dans le code source du pilote (basse précision) |
|
Recherche les structs ou classes nouvellement alloués qui sont initialisés membre par membre, car ils peuvent fuiter des informations s’ils incluent des octets de remplissage. |
|
Recherche de dépassement de capacité d’un ajout en comparant l’un des arguments de l’ajout. Échoue si la taille de tous les types d’arguments est inférieure à 4 octets. |
|
Recherche des comparaisons entre les types de différentes largeurs dans une condition de boucle qui peut entraîner l’échec de la boucle. |
|
Recherche un champ de pointeur qui n’a pas été initialisé pendant ou dans la mesure où la construction de classe entraîne une déréférencement de pointeur Null. |
|
Recherche une utilisation incorrecte des vecteurs d’initialisation. |