Consultas complementarias de Código de controlador de WindowsQL
En esta sección se enumeran y describen una serie de consultas codeQL que se incluyen como parte del repositorio de Microsoft GitHub CodeQL que son específicos del desarrollo de controladores para la plataforma Windows.
Lista de consultas
| Nombre de la consulta | Descripción |
|---|---|
Busca instancias de API de asignación de grupos en desuso. |
|
Busca instancias de defectos de UseAfterFree en el código fuente del controlador (alta precisión) |
|
Busca casi todas las instancias de defectos de UseAfterFree en el código fuente del controlador (precisión baja). |
|
Comprueba si hay estructuras o clases recién asignadas que se inicializan miembro por miembro, ya que pueden perder información si incluyen bytes de relleno. |
|
Para comprobar el desbordamiento de una adición, compare con uno de los argumentos de la suma. Se produce un error si el tamaño de todos los tipos de argumentos es inferior a 4 bytes. |
|
Busca comparaciones entre tipos de distintos anchos en una condición de bucle que puede provocar que el bucle no finalice. |
|
Busca un campo de puntero que no se inicializó durante o porque la construcción de la clase provocará una desreferencia de puntero null. |
|
Busca un uso incorrecto de vectores de inicialización. |