Diagnostics du vérificateur de pilote statique

SDV dispose d’un mode de diagnostic qui peut vous aider et Microsoft à résoudre les problèmes que SDV peut rencontrer. Lorsque le mode diagnostics est activé, SDV journalise les messages vers une série de fichiers dans votre projet de pilote, un par étape de vérification et par règle.

Activation des diagnostics

Le mode Diagnostics pour SDV (également appelé mode débogage) ne peut actuellement être activé que lors de l’exécution à partir de la ligne de commande. Pour plus d’informations sur l’exécution à partir de la ligne de commande, consultez Commandes du vérificateur de pilotes statiques (MSBuild).

Pour activer les diagnostics, ajoutez l’indicateur /debug après une commande /check . Par exemple:

msbuild /t:sdv /p:Inputs="/check:* /debug" mydriver.VcxProj /p:Configuration="Release" /p:Platform=x64

L’activation des diagnostics entraîne une sortie significativement plus importante dans la fenêtre de commande, ainsi que la création de fichiers journaux spécifiques.

Présentation des diagnostics

SDV crée plusieurs fichiers à chaque étape de l’exécution, qui fournissent des détails sur cette étape. Lorsque SDV échoue en cours d’exécution, il ne crée aucun fichier de diagnostic pour les phases ultérieures.

Les fichiers créés sont, dans l’ordre :

• smvexecute-NormalBuild.log : il se trouve dans le répertoire source de votre pilote et affiche la sortie de la tentative initiale de SDV de générer le pilote sans instrumentation et analyse supplémentaires.

• smvexecute-InterceptedBuild.log : cela se trouve dans le répertoire source de votre pilote et affiche la sortie du processus de construction du pilote par SDV avec des points d'ancrage d'analyse ajoutés.

• smvcl.log : il se trouve dans le répertoire « sdv » créé dans votre projet de pilote par SDV. Il affiche le résultat du compilateur de l’étape InterceptedBuild. Si vous voyez un échec dans smvexecute-InterceptedBuild.log, vous pouvez trouver des détails supplémentaires dans smvcl.log.

• smvexecute-Scan.log : il se trouve dans le répertoire « sdv » créé dans votre projet de pilote par SDV. Il affiche la sortie de la tentative de SDV d’analyser le pilote pour trouver des points d’entrée. Une erreur ici peut indiquer qu’aucun point d’entrée n’a été trouvé et que vous devez mettre à jour vos roletypes de fonction ou sdv-map.h. Pour plus d’informations, consultez Utilisation des déclarations de type de rôle de fonction et approbation du fichier Sdv-map.h .

• smvexecute-FinalCompile.log : l’un de ces fichiers est créé pour chaque règle vérifiée par sdv et se trouve dans le sous-dossier « sdv\check[nom de la règle] » créé par le sous-dossier SDV dans votre projet de pilote. Ce fichier affiche la sortie de la tentative de SDV de générer le pilote avec le modèle de système d’exploitation et une règle spécifique.

• smvexecute-CheckRule.log : l’un de ces fichiers est créé pour chaque règle vérifiée par sdv et se trouve dans le sous-dossier « sdv\check[nom de la règle] » créé par le sous-dossier SDV dans votre projet de pilote. Ce fichier affiche la sortie de la tentative de SDV de vérifier la règle spécifiée contre votre pilote.

Vous devez rechercher le fichier correspondant à l'étape indiquée comme ayant échoué dans la sortie de commande. Si l’échec s’est produit dans les étapes FinalCompile ou CheckRule , veillez à vérifier le dossier de la règle spécifique répertoriée comme ayant échoué.