Fichiers d’entrée du vérificateur de pilote statique
Le moteur de vérification SDV prend les fichiers suivants comme entrée d’une vérification. Seuls les fichiers sources du pilote et les fichiers de modèle de système d’exploitation sont requis pour toutes les vérifications.
Fichier projet de pilote et code source. Exécutez SDV dans le répertoire où se trouve le fichier projet.
Fichiers de modèle de système d’exploitation. SDV sélectionne et assemble les fichiers de modèle de système d’exploitation en fonction des règles que vous sélectionnez pour la vérification.
Fichiers de bibliothèque traités. Les fichiers de bibliothèque ne sont requis que lorsque le pilote dépend de bibliothèques non système. Pour plus d’informations et d’instructions, consultez Traitement de bibliothèque dans le vérificateur de pilote statique.
Fichier de liste de règles. Consultez Commandes du vérificateur de pilote statique (MSBuild).
Fichier d’options du vérificateur de pilote statique. SDV crée un fichier d’options globales qui contient les paramètres qui s’appliquent à toutes les vérifications SDV. Pour créer un fichier d’options local pour un pilote, copiez le fichier d’options globales. Vous pouvez ensuite modifier la copie du fichier d’options globales pour créer un fichier d’options local pour le pilote.
Lors de l’évaluation des résultats d’une vérification SDV, il est très important d’examiner les fichiers d’entrée pour confirmer l’exactitude et l’exhaustivité de tous les fichiers d’entrée utilisés dans la vérification.
Cette section contient des descriptions détaillées des fichiers suivants :
Fichier de liste de règles du vérificateur de pilote statique