Wprowadzenie do statycznego weryfikatora sterowników

Statyczny weryfikator sterowników (SDV) to statyczne narzędzie weryfikacyjne uruchamiane w czasie kompilacji. Analizuje ścieżki w kodzie sterownika poprzez symboliczne wykonanie kodu źródłowego, zakładając jak najmniej o stanie systemu operacyjnego oraz początkowym stanie sterownika. W związku z tym SDV może wykonywać kod w ścieżkach, które są pominięte w tradycyjnych testach.

SdV zawiera zestaw reguł, które definiują właściwą interakcję między sterownikiem a jądrem systemu operacyjnego. Podczas weryfikacji sdV sprawdza każdą odpowiednią gałąź kodu sterownika i kod biblioteki, którego używa, i próbuje udowodnić, że sterownik narusza reguły. Jeśli sdV nie udowodni naruszenia, zgłasza, że kierowca jest zgodny z zasadami i przechodzi weryfikację.

Ta sekcja zawiera następujące elementy:

Opis statycznego weryfikatora sterowników

Pojęcia dotyczące statycznego weryfikatora sterowników

Obsługiwane sterowniki

Ograniczenia weryfikatora sterowników statycznych

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.