Udostępnij przez

Raport statycznego weryfikatora sterowników

Statyczny raport weryfikatora sterowników jest interaktywnym wyświetlaniem wyników weryfikacji. Możesz użyć raportu, aby zbadać wynik weryfikacji i zidentyfikować ścieżki w sterowniku, który kończy się niepowodzeniem weryfikacji SDV.

Ta sekcja zawiera następujące elementy:

Okienka raportów weryfikatora sterowników statycznych

Important

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 przez pobranie pakietu EWDK dla systemu Windows 11 w wersji 22H2 (wydanego 24 października 2023 r.) z narzędziami kompilacji Visual Studio 17.1.5, z linku 'Pobierz zestaw sterowników systemu Windows (WDK)'. 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.

  • Last updated on