Megosztás:


Statikus illesztőprogram-ellenőrző beállításainak fájlja

A Static Driver Verifier options file (sdv-default.xml) tárolja a Static Driver Verifier alapértelmezett beállításbeállításait. Ez a fájl a WDK \tools\sdv\data\wdm és \tools\sdv\data\wdf alkönyvtáraiban jön létre. A fájl szerkesztésével módosíthatja a beállítási beállításokat, és bármely illesztőprogram forráskönyvtárába másolhatja.

Ez a szakasz a következőket tartalmazza:

Globális és helyi beállítások fájljai

Beállításfájlmezők

Példa a beállításfájlra

Important

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.