Fichier de liste de règles du vérificateur de pilotes statiques

Un fichier de liste de règles SDV est un fichier texte qui répertorie une ou plusieurs règles static Driver Verifier ou modèles de nom de règle, avec un modèle de nom de règle ou de règle sur chaque ligne. Les règles peuvent apparaître dans n’importe quel ordre et elles sont vérifiées dans l’ordre dans lequel elles apparaissent. Le fichier a une extension de nom de fichier .sdv, telle que Test.sdv.

La règle répertoriée sur chaque ligne peut être le nom d’une règle ou un caractère générique (*), qui représente toutes les règles SDV.

SDV inclut un ensemble de fichiers de liste de règles utiles dans le sous-répertoire \tools\sdv\samples\rule_sets\wdm du WDK et vous pouvez créer votre propre fichier.

Pour utiliser un fichier de liste de règles dans une commande, consultez commandes Static Driver Verifier (MSBuild).

En règle générale, vous utilisez un fichier de liste de règles pour spécifier plusieurs règles pour une vérification SDV que vous ne pouvez pas spécifier avec un modèle de nom de règle. Il est également utile pour les tests par lots et de régression.

Exemples

L’exemple de fichier de liste de règles suivant répertorie un ensemble de règles SDV sélectionnées.

AddDevice
IrqlApcLte
LowerDriverReturn
KeWaitDeadlock
ZwRegistryOpen

La commande suivante utilise un fichier de liste de règles, MyRules.sdv, pour démarrer une vérification SDV.

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

Commentaire

Les fichiers de liste de règles que vous créez pour répertorier les règles d’une vérification ont l’extension de nom de fichier .sdv. Les fichiers de code source SDV pour les règles ont une extension de nom de fichier .slic.