SDV 规则列表文件是一个文本文件,其中列出了一个或多个 静态驱动程序验证程序规则 或规则名称模式,每行都有一个规则或规则名称模式。 规则可以按任意顺序显示,并按它们显示的顺序进行验证。 该文件具有 .sdv 文件扩展名,例如 Test.sdv。
每行中列出的规则可以是一个规则的名称,也可以是一个通配符 {,表示所有 SDV 规则。
SDV 在 \tools\sdv\samples\rule_sets\wdm 子目录中包括一组有用的规则列表文件,你可以创建自己的规则列表文件。
若要在命令中使用规则列表文件,请参阅静态驱动程序验证程序命令(MSBuild)。
通常,可以使用规则列表文件为 SDV 验证指定多个规则,而 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 文件扩展名。