Statisk Driver Verifier-koncept

Det här avsnittet beskriver begrepp som är specifika för SDV och innehåller:

Regel för kontroll av statisk drivrutin

Operativsystemmodell

Verifieringsmotor

Verifieringsprocessen

Godkänna och misslyckas med en verifiering

Biblioteksbearbetning i Static Driver Verifier

Viktigt!

SDV stöds inte längre och SDV är inte tillgängligt i Windows 24H2 WDK- eller EWDK-versioner. Den är inte tillgänglig i WDK:er som är nyare än version 26017 och ingår inte i Windows 24H2 RTM WDK. SDV kan fortfarande användas genom att ladda ner Windows 11, version 22H2 EWDK (släppt den 24 oktober 2023) med Visual Studio build tools 17.1.5 från Ladda ned Windows Driver Kit (WDK). Endast användning av Enterprise WDK för att köra SDV rekommenderas. Användning av äldre versioner av standard-WDK tillsammans med de senaste versionerna av Visual Studio rekommenderas inte, eftersom detta sannolikt resulterar i analysfel.
Framöver är CodeQL det primära statiska analysverktyget för drivrutiner. CodeQL tillhandahåller ett kraftfullt frågespråk som behandlar kod som en databas som ska frågas, vilket gör det enkelt att skriva frågor för specifika beteenden, mönster med mera. För mer information om hur du använder CodeQL, se CodeQL och logotestet för verktyg för statisk analys.