静态驱动程序验证程序规则列表文件

SDV 规则列表文件是一个文本文件,其中列出了一个或多个 静态驱动程序验证程序规则 或规则名称模式,每行都有一个规则或规则名称模式。 这些规则可以按任意顺序显示,并按其出现顺序进行验证。 文件具有 .sdv 文件扩展名,例如 Test.sdv。

每行中列出的规则可以是一个规则的名称,也可以是表示所有 SDV 规则 (*) 的通配符。

SDV 在 WDK 的 \tools\sdv\samples\rule_sets\wdm 子目录中包含一组有用的规则列表文件,你可以创建自己的文件。

若要在命令中使用规则列表文件,请参阅 MSBuild (静态驱动程序验证程序命令)

通常,使用规则列表文件为 SDV 验证指定多个规则,而不能使用规则名称模式指定这些规则。 它还可用于批处理和回归测试。

示例

以下示例规则列表文件列出了一组选定的 SDV 规则。

AddDevice
IrqlApcLte
LowerDriverReturn
KeWaitDeadlock
ZwRegistryOpen

以下命令使用规则列表文件 MyRules.sdv 启动 SDV 验证。

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

评论

为列出验证规则而创建的规则列表文件具有 .sdv 文件扩展名。 规则的 SDV 源代码文件具有 .slic 文件扩展名。