Dela via

Kodanalys för drivrutiner

Kodanalys för drivrutiner är ett kompileringsverktyg för statisk verifiering som identifierar grundläggande kodfel i C- och C++-program och innehåller en specialiserad modul som är utformad för att identifiera fel i (främst) drivrutinskod i kernelläge.

I tidigare versioner av WDK var den drivrutinsspecifika modulen för kodanalys en del av ett fristående verktyg med namnet PREfast for Drivers (PFD). PREfast for Drivers integrerades också i WDK Build-miljön som en del av Microsoft Automated Code Review (OACR). Från och med Windows Driver Kit (WDK) 8 har de drivrutinsspecifika funktionerna integrerats med Analys av programkvalitet med hjälp av kodanalysverktyg.

Viktigt!

Windows Hardware Compatibility Program kräver CodeQL för STL-tester (Static Tool Logo) på våra klient- och serveroperativsystem. Vi kommer att fortsätta att ha stöd för SDV och CA på äldre produkter. Partner uppmuntras starkt att granska CodeQL-kraven för test av statiska verktygslogotyper. Mer information om hur du använder CodeQL finns i CodeQL och logotestet för statiska verktyg.

I det här avsnittet

Viktigt!

Kodanalys för drivrutiner finns tillgänglig i Windows 24H2 WDK och EWDK, men observera att den är planerad att avvecklas vid ett framtida datum.
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. Mer information om hur du använder CodeQL finns i CodeQL och logotestet för statiska verktyg.