Archivo de lista de reglas del comprobador de controladores estáticos

Un archivo de lista de reglas sdV es un archivo de texto que enumera una o varias reglas del comprobador de controladores estáticos o patrones de nombre de regla, con un patrón de nombre de regla o regla en cada línea. Las reglas pueden aparecer en cualquier orden y se comprueban en el orden en que aparecen. El archivo tiene una extensión de nombre de archivo .sdv, como Test.sdv.

La regla que aparece en cada línea puede ser el nombre de una regla o puede ser un carácter comodín (*), que representa todas las reglas de SDV.

SDV incluye un conjunto de archivos de lista de reglas útiles en el subdirectorio \tools\sdv\samples\rule_sets\wdm del WDK y puede crear el suyo propio.

Para usar un archivo de lista de reglas en un comando, consulte los comandos del comprobador de controladores estáticos (MSBuild).

Normalmente, usaría un archivo de lista de reglas para especificar varias reglas para una comprobación de SDV que no se puede especificar con un patrón de nombre de regla. También es útil para las pruebas por lotes y regresión.

Ejemplos

En el siguiente archivo de lista de reglas de ejemplo se muestra un conjunto de reglas SDV seleccionadas.

AddDevice
IrqlApcLte
LowerDriverReturn
KeWaitDeadlock
ZwRegistryOpen

El comando siguiente usa un archivo de lista de reglas, MyRules.sdv, para iniciar una comprobación de SDV.

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

Comentario

Los archivos de lista de reglas que cree para enumerar las reglas de una comprobación tienen la extensión de nombre de archivo .sdv. Los archivos de código fuente de SDV para las reglas tienen una extensión de nombre de archivo .slic.