Processus de vérification

SDV effectue une vérification, c’est-à-dire un test pour déterminer si le comportement réel du pilote est conforme aux règles qui définissent le comportement approprié.

Lorsque vous envoyez une commande pour vérifier un pilote, SDV effectue un processus en trois étapes, au cours duquel il détermine les fichiers dont il a besoin, prépare les fichiers et vérifie le pilote.

Cette rubrique décrit ce qui se passe dans chacune des étapes du processus de vérification.

Build

Pendant l’étape Générer , SDV compile, lie et génère le pilote à l’aide de MSBuild.

Numériser

Au cours de l’étape Analyse , SDV analyse le code de votre pilote pour les déclarations de type de rôle de fonction, assemble une liste de points d’entrée du pilote et crée le fichier Sdv-map.h dans le répertoire qui stocke le fichier source pour le pilote (appelé répertoire des sources du pilote).

Vérifier

Pendant l’étape Vérifier , SDV prépare et vérifie le pilote à l’aide des règles que vous avez sélectionnées pour la vérification. Pour plus d’informations sur les règles que vous pouvez sélectionner, consultez Règles du vérificateur de pilotes statiques.

SDV commence par déterminer si les règles sélectionnées nécessitent des composants supplémentaires du modèle de système d’exploitation. Si c’est le cas, SDV copie les fichiers de modèle de système d’exploitation supplémentaires dans le répertoire des sources du pilote.

Ensuite, les fichiers de pilotes, les fichiers de bibliothèque, les fichiers de code de règle (RuleName.slic) et les fichiers de modèle du système d’exploitation sont liés dans un fichier exécutable unique pour la vérification.

Le moteur de vérification SDV vérifie ensuite une règle à la fois, jusqu’à ce qu’il vérifie toutes les règles sélectionnées.

Au cours de cette étape, SDV crée un sous-répertoire pour chaque règle qu’il a vérifiée dans le répertoire DriverPath\sdv\case activée.

Commentaire

Tandis que SDV effectue les étapes du processus de vérification, il écrit status messages dans la ligne de commande, ainsi que les messages d’erreur qui signalent les erreurs qui se produisent à chaque étape. Pour plus d’informations sur les messages status, consultez Sortie de ligne de commande. Pour plus d’informations sur les messages d’erreur, consultez Messages d’erreur du vérificateur de pilote statique. Pour plus d’informations sur l’activation de diagnostics pour vous aider et Microsoft à résoudre les problèmes liés à SDV, consultez Diagnostics du vérificateur de pilotes statiques.