Partager via

Création d’un fichier journal pour l’outil d’analyse du code

  • 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 l’outil Analyse du code avant de créer un DVL pour votre pilote. Le DVL peut contenir un résumé des résultats des outils tels que CodeQL, l’analyse du code et les fichiers journaux du 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

Pour exécuter l’analyse du code sur le pilote

  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. Dans le menu Analyser ou Générer , sélectionnez Exécuter l’analyse du code sur la solution.
  3. Si des erreurs ou des avertissements sont détectés, utilisez la fenêtre Rapport d’analyse du code pour examiner la cause des erreurs. Utilisez les messages d’avertissement pour résoudre ces problèmes. Pour plus d’informations sur l’outil Analyse du code, consultez Comment exécuter l’analyse du code pour les pilotes et l’analyse de la qualité du code C/C++ à l’aide de l’analyse du code.

L’outil Analyse du code pour les pilotes écrit les résultats dans le fichier vc.nativecodeanalysis.all.xml dans le sous-répertoire de build et de plateforme de votre projet, par exemple \Windows 8Release\x64.

Notes

L’analyse du code pour les pilotes est un outil de vérification statique au moment de la compilation qui détecte les erreurs de codage de base dans les programmes C et C++ et inclut un module spécialisé conçu pour détecter les erreurs dans le code du pilote en mode noyau (principalement). Dans les versions précédentes de WDK, le module spécifique au pilote pour l’analyse du code faisait partie d’un outil autonome appelé PREfast for Drivers (PFD).

Fenêtre d’invite de commandes Visual Studio

Vous pouvez également exécuter l’outil Analyse du code à 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 l’outil Analyse du code. Utilisez la version Windows appropriée pour votre soumission.

msbuild.exe <vcxprojectfile> /p:Configuration="Win8 Release" /P:Platform=x64 /target:clean
msbuild.exe <vcxprojectfile> /p:Configuration="Win8 Release" /P:Platform=x64 /P:RunCodeAnalysisOnce=True

Pour obtenir les informations les plus à jour sur les conditions requises pour le journal de vérification du pilote, reportez-vous aux notes de publication de WDK.