Použití ověřovatele statického ovladače

Informace o tom, co potřebujete udělat, abyste mohli rychle začít pracovat, najdete v tématu Použití nástroje Ověření statického ovladače k vyhledání vad v ovladačích systému Windows.

V této části

• Použití deklarací typu role funkce
• Skenování ovladače
• Interpretace výsledků ověření statického ovladače
• Použití zprávy ověření statického ovladače
• Doporučení pro řešení potíží s ověřením statického ovladače
• Použití SDV a ukázkových ovladačů

Důležité

SDV se už nepodporuje a SDV není k dispozici ve verzích Windows 24H2 WDK nebo EWDK. Není k dispozici v wdk novější než build 26017 a není součástí windows 24H2 RTM WDK. SDV lze stále používat stažením Windows 11 verze 22H2 EWDK, vydaného 24. října 2023, s nástroji Visual Studio Build Tools 17.1.5 z Stáhnout sadu Windows Driver Kit (WDK). Doporučuje se pouze použití sady Enterprise WDK ke spuštění SDV. Použití starších verzí standardní sady WDK ve spojení s nedávnými verzemi sady Visual Studio se nedoporučuje, protože to bude pravděpodobně mít za následek selhání analýzy.
V budoucnu bude CodeQL primárním nástrojem pro statickou analýzu ovladačů. CodeQL poskytuje výkonný dotazovací jazyk, který zpracovává kód jako databázi, která se má dotazovat, což usnadňuje psaní dotazů pro konkrétní chování, vzory a další. Další informace o použití CodeQL naleznete v tématu CodeQL a Static Tools Logo Test.