Statikus illesztőprogram-ellenőrző használata

A gyors üzembe keléshez és a gyors működéshez szükséges teendőkről további információt a Windows-illesztőprogramok hibáinak megkeresése statikus illesztőprogram-ellenőrzővel című témakörben talál.

Ebben a szakaszban

• Függvényszerepkör-típusdeklarációk használata
• Az illesztőprogram vizsgálata
• Statikus illesztőprogram-ellenőrző eredményeinek értelmezése
• A statikus illesztőprogram-ellenőrző jelentésének használata
• Javaslatok a statikus illesztőprogram-ellenőrző hibaelhárításához
• Az SDV és a mintaillesztőprogramok használata

Fontos

Az SDV már nem támogatott, és az SDV nem érhető el a Windows 24H2 WDK-ban vagy az EWDK-kiadásokban. A 26017-es buildnél újabb WDK-kban nem érhető el, és nem szerepel a Windows 24H2 RTM WDK-ban. Az SDV továbbra is használható a Windows 11 22H2 EWDK (2023. október 24-én megjelent) verziójának a Visual Studio 17.1.5-ös buildelési eszközeinek letöltésével a Windows Driver Kit (WDK) letöltéséből. Csak az Enterprise WDK használata ajánlott az SDV futtatásához. A standard WDK régebbi verzióinak használata a Visual Studio legutóbbi kiadásaival együtt nem ajánlott, mivel ez valószínűleg elemzési hibákat fog eredményezni.
A továbbiakban a CodeQL lesz az illesztőprogramok elsődleges statikus elemző eszköze. A CodeQL hatékony lekérdezési nyelvet biztosít, amely a kódot adatbázisként kezeli lekérdezni, így egyszerűen írhat lekérdezéseket adott viselkedések, minták és egyebek céljából. További információ a CodeQL használatáról a következőben található: CodeQL és a Static Tools Logo Test.