Compartilhar via

Arquivo de lista de regras do verificador de driver estático

  • Artigo

Um arquivo de lista de regras SDV é um arquivo de texto que lista uma ou mais regras do Verificador de Driver Estático ou padrões de nome de regra, com uma regra ou padrão de nome de regra em cada linha. As regras podem aparecer em qualquer ordem e são verificadas na ordem em que aparecem. O arquivo tem uma extensão de nome de arquivo .sdv, como Test.sdv.

A regra listada em cada linha pode ser o nome de uma regra ou pode ser um caractere curinga (*), que representa todas as regras de SDV.

O SDV inclui um conjunto de arquivos de lista de regras úteis no subdiretório \tools\sdv\samples\rule_sets\wdm do WDK e você pode criar o seu próprio.

Para usar um arquivo de lista de regras em um comando, consulte os comandos do Verificador de Driver Estático (MSBuild).

Normalmente, você usaria um arquivo de lista de regras para especificar várias regras para uma verificação SDV que você não pode especificar com um padrão de nome de regra. Também é útil para testes de lote e regressão.

Exemplos

O arquivo de lista de regras de exemplo a seguir lista um conjunto de regras SDV selecionadas.

AddDevice
IrqlApcLte
LowerDriverReturn
KeWaitDeadlock
ZwRegistryOpen

O comando a seguir usa um arquivo de lista de regras, MyRules.sdv, para iniciar uma verificação de SDV.

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

Comentário

Os arquivos de lista de regras que você cria para listar as regras para uma verificação têm a extensão de nome de arquivo .sdv. Os arquivos de código-fonte SDV para regras têm uma extensão de nome de arquivo .slic.