Partager via


Fichiers de sortie du vérificateur de pilote statique

SDV génère plusieurs types de fichiers de sortie et de résultats différents. Cette section décrit les fichiers et comment les utiliser.

Cette section comprend :

Sortie de ligne de commande

Sdv-map.h

Lors de l’évaluation des résultats d’une vérification SDV, vous devez examiner soigneusement toutes les sorties et examiner les erreurs éventuelles.