Consultas suplementares do Windows Driver CodeQL

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 preterida do WDK	Localiza instâncias de APIs de alocação de pool preteridas
UseAfterFree	Localiza instâncias selecionadas de defeitos UseAfterFree no código-fonte do driver (alta precisão)
Probable UseAfterFree	Encontra quase todas as instâncias de defeitos UseAfterFree no código-fonte do driver (baixa precisão)
PaddingByteInformationDisclosure	Verifica se há estruturas ou classes recém-alocadas que são inicializadas membro por membro, pois podem vazar informações se incluírem bytes de preenchimento.
BadOverflowGuard	Verificação de estouro de uma adição comparando com um dos argumentos da adição. Falhará se o tamanho de todos os tipos de argumento for menor que 4 bytes.
InfiniteLoop	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.
UninitializedPtrField	Procura um campo de ponteiro que não foi inicializado durante ou desde a construção da classe causará uma desreferência de ponteiro nulo.
HardcodedIVCNG	Encontra uso incorreto de vetores de inicialização.