Analiza kodu dla sterowników

Analiza kodu dla sterowników to narzędzie do weryfikacji statycznej w czasie kompilacji, które wykrywa podstawowe błędy kodowania w programach C i C++ oraz zawiera wyspecjalizowany moduł przeznaczony do wykrywania błędów w kodzie sterownika trybu jądra (przede wszystkim).

W poprzednich wersjach zestawu WDK moduł specyficzny dla sterownika do analizy kodu był częścią autonomicznego narzędzia o nazwie PREfast for Drivers (PFD). Funkcja PREfast for Drivers została również zintegrowana ze środowiskiem kompilacji WDK w ramach zautomatyzowanego przeglądu kodu firmy Microsoft (OACR). Począwszy od zestawu Windows Driver Kit (WDK) 8, funkcje specyficzne dla sterownika zostały zintegrowane z analizowaniem jakości aplikacji przy użyciu narzędzi do analizy kodu.

Ważne

Program zgodności sprzętu systemu Windows wymaga języka CodeQL dla testów logo narzędzia statycznego (STL) w systemach operacyjnych klienta i serwera. Będziemy nadal utrzymywać wsparcie dla SDV i CA w starszych produktach. Partnerzy są zdecydowanie zachęcani do przejrzenia wymagań codeQL dotyczących testu logo narzędzia statycznego. Aby uzyskać więcej informacji na temat korzystania z CodeQL, zobacz CodeQL i Static Tools Logo Test.

W tym dziale

• Analiza kodu dla sterowników — omówienie
• Jak uruchomić analizę kodu dla sterowników
• Adnotacje SAL 2 dla sterowników systemu Windows
• Analiza kodu dla ostrzeżeń sterowników

Ważne

Analiza kodu sterowników jest dostępna w zestawach Windows 24H2 WDK i EWDK, ale należy pamiętać, że ma zostać wycofana w przyszłości.
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.