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 inclut les éléments suivants :

Command-Line Output

Sdv-map.h

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