Korzystanie z SDV i przykładowych sterowników

Aby ułatwić rozpoczęcie pracy z narzędziem Static Driver Verifier (SDV), możesz uruchomić je na zestawie przykładów SDV-FailDriver. Przykładowe sterowniki zawierają zamierzone błędy kodu, które zostały zaprojektowane w celu pokazania możliwości i funkcji sdV. Te przykładowe sterowniki nie są funkcjonalne i nie są przeznaczone jako przykłady projektów związanych z rzeczywistym tworzeniem sterowników. Istnieją SDV-FailDriver próbki sterowników dostępne w repozytorium przykładów sterowników systemu Windows na GitHubie.

• SDV-FailDriver-KMDF
• SDV-FailDriver-WDM
• SDV-FailDriver-NDIS
• SDV-FailDriver-STORPORT

Ważne

SdV nie jest już obsługiwane i SDV nie jest dostępny w wersjach zestawu WDK lub EWDK systemu Windows 24H2. Nie jest on dostępny w zestawach WDK nowszych niż kompilacja 26017 i nie jest uwzględniony w zestawie WDK systemu Windows 24H2 RTM. SDV może być nadal używany po pobraniu Windows 11 w wersji 22H2 EWDK (wydanego 24 października 2023 r.) wraz z narzędziami kompilacyjnymi programu Visual Studio 17.1.5 z #B0 Pobierz zestaw sterowników systemu Windows (WDK) #A1. Zaleca się używanie Enterprise WDK do uruchamiania SDV. Używanie starszych wersji standardowego zestawu WDK w połączeniu z najnowszymi wersjami programu Visual Studio nie jest zalecane, ponieważ prawdopodobnie spowoduje to błędy analizy.
W przyszłości kodQL będzie podstawowym narzędziem do analizy statycznej sterowników. Język CodeQL udostępnia zaawansowany język zapytań, który traktuje kod jako bazę danych do odpytywania, co ułatwia pisanie zapytań dotyczących określonych zachowań, wzorców i nie tylko. Aby uzyskać więcej informacji na temat korzystania z CodeQL, zobacz CodeQL i Static Tools Logo Test.