Consultas complementarias de CodeQL de controlador de Windows

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.

Lista de consultas

Query Name	Description
API en desuso de WDK	Busca instancias de API de asignación de grupos en desuso
UseAfterFree	Busca las instancias de Select instances of UseAfterFree defects in driver source code (high-precision) (Instancias de UseAfterFree defectos en el código fuente del controlador (alta precisión)
Probable UseAfterFree	Busca casi todas las instancias de Defectos de UseAfterFree en el código fuente del controlador (precisión baja)
PaddingByteInformationDisclosure	Comprueba si hay estructuras o clases recién asignadas que se inicializan como miembro por miembro, ya que pueden filtrar información si incluyen bytes de relleno.
BadOverflowGuard	Comprobando el desbordamiento de una adición comparando con uno de los argumentos de la adición. Se produce un error si el tamaño de todos los tipos de argumentos es menor que 4 bytes.
InfiniteLoop	Busca comparaciones entre tipos de anchos diferentes en una condición de bucle que puede provocar que el bucle no finalice.
UninitializedPtrField	Busca un campo de puntero que no se inicializó durante o, puesto que la construcción de clases provocará una desreferencia de puntero null.
HardcodedIVCNG	Busca un uso incorrecto de vectores de inicialización.