Файл списка правил проверки статических драйверов

Файл списка правил SDV — это текстовый файл, который содержит один или несколько правил проверки статических драйверов или шаблон имен правил с одним правилом или шаблоном имени правила в каждой строке. Правила могут отображаться в любом порядке, и они проверяются в том порядке, в каком они отображаются. Файл имеет расширение SDV-файла, например Test.sdv.

Правило, указанное в каждой строке, может быть именем одного правила или символом подстановочного знака (*), представляющего все правила SDV.

SDV включает набор полезных файлов списка правил в подкаталоге \tools\sdv\samples\rule_sets\wdm в WDK и создать собственный.

Чтобы использовать файл списка правил в команде, см. команды средства проверки статических драйверов (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-файла.