Partager via

Création d’un fichier journal pour le vérificateur de pilote statique

  • Article

Le programme de certification matérielle Windows nécessite un journal de vérification des pilotes (DVL) pour les soumissions de pilotes. Vous devrez peut-être exécuter static Driver Verifier avant de créer un DVL pour votre pilote. Le DVL peut contenir un résumé des résultats des outils tels que CodeQL, Analyse du code et vérificateur de pilote statique. Les fichiers journaux ne contiennent pas d’informations de code source. Pour plus d’informations, consultez Static Tools Logo Test et CodeQL et Static Tools Logo Test.

Créer le fichier journal pour SDV

  1. Dans Microsoft Visual Studio, sélectionnez le fichier projet de pilote, puis maintenez la touche enfoncée (ou cliquez avec le bouton droit) pour ouvrir les propriétés du projet.
  2. Si vous avez déjà exécuté l’outil Analyse du code, suivez ces instructions pour exécuter static Driver Verifier. Pour plus d’informations sur l’utilisation de SDV, consultez Utilisation du vérificateur de pilotes statiques pour rechercher des défauts dans les pilotes
  3. Si SDV trouve des défauts dans votre pilote, sélectionnez le défaut dans le volet Résultats pour afficher une trace du chemin de code qui a conduit à la violation de la règle. Corrigez les défauts trouvés dans le pilote et réexécutez SDV.

Static Driver Verifier écrit les résultats dans le fichier SDV.DVL.xml dans le sous-répertoire SDV de votre projet, par exemple \ myDriverProject\SDV.

Notes

Pour obtenir les informations les plus à jour sur le vérificateur de pilotes statiques et le journal de vérification du pilote, reportez-vous aux notes de publication wdK. Les notes de publication sont disponibles sur la page de téléchargement du Kit de pilotes Windows (WDK).

Important

Les délais d’expiration, les espaces et autres résultats non réussis dans le fichier DVL sont acceptables pour la soumission de certification. Cela n’entraîne pas l’échec du test Static Tools dans HCK. Pour HCK 2.0, le test Static Tools nécessite uniquement la présence du fichier DVL pour afficher l’analyse du code et SDV qui ont été exécutés et ne nécessite pas que toutes les règles réussissent.

Fenêtre d’invite de commandes Visual Studio

Vous pouvez également exécuter static Driver Verifier à partir d’une fenêtre d’invite de commandes Visual Studio. Configurez l’environnement en exécutant l’un des fichiers batch suivants.

"C:\Program Files\Microsoft Visual Studio 11.0\VC\vcvarsall.bat" x64

- Ou -

"C:\Program Files (x86)\Microsoft Visual Studio 11.0\VC\vcvarsall.bat" x64

Exécutez le vérificateur de pilote statique.

msbuild.exe <vcxprojectfile> /p:Configuration="Win8 Release" /p:Platform=x64 /target:sdv /p:inputs="/clean"
msbuild.exe <vcxprojectfile> /p:Configuration="Win8 Release" /p:Platform=x64 /target:sdv /p:inputs="/check:default.sdv"