Notitie
Voor toegang tot deze pagina is autorisatie vereist. U kunt proberen u aan te melden of de directory te wijzigen.
Voor toegang tot deze pagina is autorisatie vereist. U kunt proberen de mappen te wijzigen.
Dit gedeelte bevat:
Declaraties van kmdf-functie voor statische stuurprogramma's
Declaraties van statische stuurprogrammaverificator NDIS-functies
Invoerbestanden voor statische stuurprogramma's
Uitvoerbestanden van statische stuurprogrammaverificator
Foutberichten voor statische stuurprogrammaverificator
Important
SDV wordt niet meer ondersteund en SDV is niet beschikbaar in Windows 24H2 WDK- of EWDK-releases. Het is niet beschikbaar in WDKs nieuwer dan build 26017 en is niet opgenomen in de Windows 24H2 RTM WDK.
SDV kan nog steeds worden gebruikt door de Windows 11 versie 22H2 EWDK (uitgebracht op 24 oktober 2023) te downloaden met Visual Studio-buildhulpprogramma's 17.1.5 van Download the Windows Driver Kit (WDK). Alleen het gebruik van de Enterprise WDK voor het uitvoeren van SDV wordt aanbevolen. Het gebruik van oudere versies van de standaard WDK in combinatie met recente releases van Visual Studio wordt niet aanbevolen, omdat dit waarschijnlijk leidt tot analysefouten.
In de toekomst is CodeQL het primaire hulpprogramma voor statische analyse voor stuurprogramma's. CodeQL biedt een krachtige querytaal waarmee code wordt behandeld als een database waarop query's moeten worden uitgevoerd, waardoor het eenvoudig is om query's te schrijven voor specifiek gedrag, patronen en meer.
Zie CodeQL en de logotest voor statische hulpprogramma's voor meer informatie over het gebruik van CodeQL.