File elenco regole di verifica driver statico

Un file di elenco di regole SDV è un file di testo che elenca una o più regole di verifica driver statico o modelli di nome regola, con un modello di nome regola o regola in ogni riga. Le regole possono essere visualizzate in qualsiasi ordine e vengono verificate nell'ordine in cui vengono visualizzate. Il file ha un'estensione con estensione sdv, ad esempio Test.sdv.

La regola elencata in ogni riga può essere il nome di una regola oppure può essere un carattere jolly (*), che rappresenta tutte le regole SDV.

SDV include un set di file di elenco di regole utili nella sottodirectory \tools\sdv\samples\rule_sets\wdm di WDK ed è possibile crearne uno personalizzato.

Per usare un file di elenco di regole in un comando, vedere i comandi Di verifica driver statici (MSBuild).To use a rule list file in a command, see the Static Driver Verifier commands (MSBuild).

In genere, si usa un file di elenco regole per specificare più regole per una verifica SDV che non è possibile specificare con un modello di nome regola. È utile anche per i test batch e regressione.

Esempi:

Il file di elenco di regole di esempio seguente elenca un set di regole SDV selezionate.

AddDevice
IrqlApcLte
LowerDriverReturn
KeWaitDeadlock
ZwRegistryOpen

Il comando seguente usa un file di elenco di regole, MyRules.sdv, per avviare una verifica SDV.

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

Commento

I file di elenco delle regole creati per elencare le regole per una verifica hanno l'estensione sdv. I file di codice sorgente SDV per le regole hanno un'estensione slic.