Observação
O acesso a essa página exige autorização. Você pode tentar entrar ou alterar diretórios.
O acesso a essa página exige autorização. Você pode tentar alterar os diretórios.
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 |
|---|---|
Localiza instâncias de APIs preteridas de alocação de pool |
|
Localiza instâncias selecionadas de defeitos UseAfterFree no código-fonte do driver (alta precisão) |
|
Localiza quase todas as instâncias de defeitos UseAfterFree no código-fonte do driver (baixa precisão) |
|
Verifica se há structs ou classes recém-alocadas que são inicializadas membro por membro, pois podem vazar informações se incluirem bytes de preenchimento. |
|
Verificando o estouro de uma adição comparando-se com um dos argumentos da adição. Falhará se o tamanho de todos os tipos de argumento for menor que 4 bytes. |
|
Localiza comparações entre tipos de larguras diferentes em uma condição de loop que pode fazer com que o loop não seja encerrado. |
|
Procura um campo de ponteiro que não foi inicializado durante ou porque a construção da classe causará uma desreferência de ponteiro nulo. |
|
Localiza o uso incorreto de vetores de inicialização. |