DDI-Complianceregeln
In diesem Abschnitt werden die Complianceregeln für die Windows Device Driver Interface (DDI) aufgeführt und beschrieben, die Sie verwenden können, um windows Driver Model (WDM), Kernel Mode Driver Framework (KMDF), Audio (PortCls), AVStream (KS), NDIS und Storport-Treiber zu überprüfen. Die DDI-Complianceregeln definieren Anforderungen für die ordnungsgemäße Interaktion zwischen einem Treiber und der Kernelschnittstelle des Betriebssystems.
Regeln für Audiotreiber
Regeln für AVStream-Treiber
Regeln für WDM-Treiber
Regeln für KMDF-Treiber
Regeln für NDIS-Treiber
Regeln für Storport-Treiber
Wichtig
Das Windows-Hardwarekompatibilitätsprogramm erfordert CodeQL für statische Tool-Logo-Tests (STL) auf unseren Client- und Server-Betriebssystemen. Wir werden die Unterstützung für SDV und CA auf älteren Produkten weiterhin aufrechterhalten. Den Partnern wird dringend empfohlen, die CodeQL-Anforderungen für den Static Tool Logo Test zu prüfen. Weitere Informationen zur Verwendung von CodeQL finden Sie unter CodeQL und dem Logotest für statische Tools.
Treiberüberprüfungstools
Sie können die Codeanalysetools, Static Driver Verifier und Driver Verifier verwenden, um einen Treiber für die Einhaltung der DDI-Verwendungsregeln zu testen. Static Driver Verifier (SDV) führt statische Analysen für den Treiberquellcode durch, sodass Sie SDV frühzeitig im Entwicklungszyklus verwenden können. Driver Verifier ist in das Betriebssystem integriert, sodass Sie einen Treiber zur Laufzeit testen können, nachdem er erstellt, bereitgestellt und installiert wurde.
Mithilfe des Treiberquellcodes erstellt Static Driver Verifier ein Modell des Treibers und des Betriebssystems. In diesem Modell platziert SDV den Treiber in einer feindlichen Umgebung und testet codepfade systematisch durch den Treiber, indem er nach Verstößen gegen einen formalisierten Satz der Treibercomplianceregeln (Static Driver Verifier-Regeln) sucht.
Ab Windows 8 können Sie die Treiberüberprüfung so konfigurieren, dass einige der gleichen Complianceprüfungen für installierte Treiber ausgeführt werden, indem Sie die DDI-Complianceüberprüfung aktivieren.
Wichtig
SDV wird nicht mehr unterstützt, und SDV ist in Windows 24H2 WDK- oder EWDK-Versionen nicht verfügbar. Sie ist in WDKs neuer als Build 26017 nicht verfügbar und nicht im Windows 24H2 RTM WDK enthalten.
SDV kann weiterhin verwendet werden, indem Sie das Windows 11, Version 22H2 EWDK (veröffentlicht am 24. Oktober 2023) mit Visual Studio-Buildtools 17.1.5 aus dem Windows Driver Kit (WDK) herunterladen. Es wird nur die Verwendung von Enterprise WDK zum Ausführen von SDV empfohlen. Die Verwendung älterer Versionen des Standard-WDK in Verbindung mit den letzten Versionen von Visual Studio wird nicht empfohlen, da dies wahrscheinlich zu Analysefehlern führt.
In Zukunft wird CodeQL das primäre statische Analysetool für Treiber sein. CodeQL stellt eine leistungsstarke Abfragesprache bereit, die Code als abgefragte Datenbank behandelt, sodass Abfragen für bestimmte Verhaltensweisen, Muster und vieles mehr einfach geschrieben werden können.
Weitere Informationen zur Verwendung von CodeQL finden Sie unter CodeQL und dem Logotest für statische Tools.