Soubor seznamu pravidel pro ověření statického ovladače

Soubor seznamu pravidel SDV je textový soubor, který obsahuje jedno nebo více pravidel ověření statického ovladače nebo vzory názvů pravidel s jedním pravidlem nebo vzorem názvu pravidla na každém řádku. Pravidla se můžou zobrazit v libovolném pořadí a ověří se v pořadí, v jakém se zobrazují. Soubor má příponu názvu souboru .sdv, například Test.sdv.

Pravidlo uvedené na každém řádku může být název jednoho pravidla nebo může být zástupný znak (*), který představuje všechna pravidla SDV.

SDV obsahuje sadu užitečných souborů seznamu pravidel v \tools\sdv\samples\rule_sets\wdm podadresář WDK a můžete vytvořit vlastní.

Pokud chcete v příkazu použít soubor seznamu pravidel, přečtěte si příkazy MSBuild (Static Driver Verifier).

Soubor se seznamem pravidel byste obvykle použili k určení více pravidel pro ověření SDV, která nelze zadat pomocí vzoru názvu pravidla. Je také užitečné pro dávkové a regresní testování.

Příklady

Následující ukázkový soubor seznamu pravidel obsahuje sadu vybraných pravidel SDV.

AddDevice
IrqlApcLte
LowerDriverReturn
KeWaitDeadlock
ZwRegistryOpen

Následující příkaz používá k zahájení ověření SDV soubor seznamu pravidel MyRules.sdv.

msbuild /t:sdv /p:Inputs="/check:D:\SDV\MyRules.sdv" mydriver.VcxProj /p:Configuration="Windows 7 Release" /p:Platform=Win32

Komentář

Soubory seznamu pravidel, které vytvoříte k výpisu pravidel pro ověření, mají příponu názvu souboru .sdv. Soubory zdrojového kódu SDV pro pravidla mají příponu názvu souboru .slic.