Verwenden von SDV und Beispieltreibern
Um Ihnen bei den ersten Schritten mit static Driver Verifier (SDV) zu helfen, können Sie das Tool in den BEISPIELen für SDV-FailDriver ausführen. Die Beispieltreiber enthalten absichtliche Codefehler, die so konzipiert sind, dass die Funktionen und Features von SDV angezeigt werden. Diese Beispieltreiber sind nicht funktionsfähig und sind nicht als Beispiele für echte Treiberentwicklungsprojekte gedacht. Im Repository für Windows-Treiberbeispiele auf GitHub sind SDV-FailDriver-Beispieltreiber verfügbar.
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.