Anteckning
Åtkomst till den här sidan kräver auktorisering. Du kan prova att logga in eller ändra kataloger.
Åtkomst till den här sidan kräver auktorisering. Du kan prova att ändra kataloger.
Det här avsnittet visar och beskriver efterlevnadsregler för Windows-enhetsdrivrutiner (DDI) som du kan använda för att verifiera Windows Driver Model (WDM), Kernel Mode Driver Framework (KMDF), Audio (PortCls), AVStream (KS), NDIS och Storport-drivrutiner. DDI-efterlevnadsreglerna definierar krav för korrekt interaktion mellan en drivrutin och kernelgränssnittet i operativsystemet.
regler för ljuddrivrutiner
regler för AVStream-drivrutiner
regler för WDM-drivrutiner
Regler för KMDF-drivrutiner
regler för NDIS-drivrutiner
Regler för Storport-drivrutiner
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.
Verktyg för drivrutinsverifiering
Du kan använda kodanalysverktygen Static Driver Verifier och Driver Verifier för att testa en drivrutin för kompatibilitet med DDI-användningsreglerna. Static Driver Verifier (SDV) utför statisk analys av drivrutins källkoden, så att du kan använda SDV tidigt i utvecklingscykeln. Drivrutinsverifieraren är integrerad med operativsystemet, så du kan testa en drivrutin vid körning när den har skapats, distribuerats och installerats.
Med hjälp av drivrutins källkoden skapar Static Driver Verifier en modell av drivrutinen och operativsystemet. I den här modellen sätter SDV drivrutinsprogramvaran i en fientlig miljö och systematiskt testar kodvägar genom den för att uppmärksamma överträdelser av en formaliserad uppsättning drivrutinsefterlevnadsregler (statisk drivrutinverifieringsregler).
Från och med Windows 8 kan du konfigurera drivrutinsverifieraren att köra några av samma efterlevnadskontroller på installerade drivrutiner genom att aktivera DDI-efterlevnadskontroll.
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.
Mer information om hur du använder CodeQL finns i CodeQL och logotestet för statiska verktyg.