Dela via


Kompletterande CodeQL-frågor för Windows-drivrutin

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 över frågor

Query Name Description

Inaktuellt API för WDK

Hittar instanser av inaktuella API:er för poolallokering

UseAfterFree

Söker efter utvalda instanser av UseAfterFree-defekter i drivrutins källkoden (hög precision)

Probable UseAfterFree

Hittar nästan alla instanser av UseAfterFree-defekter i drivrutins källkoden (låg precision)

PaddingByteInformationDisclosure

Söker efter nyligen allokerade structs eller klasser som initieras medlem för medlem eftersom de kan läcka information om de inkluderar utfyllnadsbyte.

BadOverflowGuard

Söker efter spill av ett tillägg genom att jämföra med något av argumenten i tillägget. Misslyckas om storleken på alla argumenttyper är mindre än 4 byte.

InfiniteLoop

Hittar jämförelser mellan olika typer av bredder i ett loopvillkor som kan leda till att loopen inte avslutas.

UninitializedPtrField

Söker efter ett pekarfält som inte initierades under eller eftersom klasskonstruktionen orsakar en null-pekaravreference.

HardcodedIVCNG

Hittar felaktig användning av initieringsvektorer.