Поделиться через

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

  • Статья

Файл списка правил 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.