Analýza kódu pro ovladače

Analýza kódu pro ovladače je nástroj pro statické ověřování v době kompilace, který detekuje základní kódovací chyby v programech C a C++ a obsahuje specializovaný modul, který je navržený k detekci chyb v kódu ovladače v režimu jádra (primárně).

V předchozích verzích WDK byl modul specifický pro ovladač pro analýzu kódu součástí samostatného nástroje s názvem PREfast for Drivers (PFD). PrEfast for Drivers byl také integrován do prostředí WDK Build jako součást automatizovaného revize kódu společnosti Microsoft (OACR). Počínaje sadou Windows Driver Kit (WDK) 8 byly funkce specifické pro ovladače integrovány s analýzou kvality aplikace pomocí nástrojů pro analýzu kódu.

Důležité

Program kompatibility hardwaru s Windows vyžaduje program CodeQL pro testy loga statického nástroje (STL) na našich klientských a serverových operačních systémech. U starších produktů budeme i nadále udržovat podporu SDV a CA. Partneři jsou důrazně vyzýváni, aby zkontrolovali požadavky CodeQL na test loga statického nástroje. Další informace o použití CodeQL naleznete v tématu CodeQL a Static Tools Logo Test.

V této části

• Přehled analýzy kódu pro ovladače
• Spuštění analýzy kódu pro ovladače
• Poznámky SAL 2 pro ovladače systému Windows
• Upozornění pro ovladače: analýza kódu

Důležité

Analýza kódu pro ovladače je k dispozici ve Windows 24H2 WDK a EWDK, ale upozorňujeme, že se plánuje její vyřazení v budoucnu.
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.