Partager via

Comment créer un journal de vérification des pilotes

  • Article

Le programme de certification du matériel Windows exige un journal de vérification des pilotes (DVL) pour les soumissions de pilotes. La DVL contient un résumé des résultats des outils d'analyse statique, CodeQL. Le DVL ne contient aucune information sur le code source. BAvant de créer une DVL pour votre pilote, exécutez CodeQL, l'outil d'analyse du code, et le vérificateur statique du pilote. Pour plus d'informations, voir le test du logo des outils statiques et CodeQL et le test du logo des outils statiques.

Préparez le pilote

  1. Avant d'exécuter les outils d'analyse de code, construisez et liez votre pilote à l'aide du dernier kit de pilotes Windows (WDK).
  2. Sélectionnez Release pour la configuration de la solution et x64 pour la plate-forme de la solution.

Déterminez et exécutez les tests requis

Pour déterminer les tests requis pour la version de Windows pour laquelle vous souhaitez obtenir une certification, consultez le test du logo des outils statiques.

Exécutez les tests suivants, selon les besoins.

Créer le journal de vérification du pilote

  1. Dans le menu Pilote, sélectionnez Créer un journal de vérification du pilote.
  2. Vérifiez que les fichiers Code Analysis Log, Static Driver Verifier Log et CodeQL Log sont détectés.
  3. Sélectionnez Créer.

Le journal de vérification du pilote porte l'extension de nom de fichier .DVL.XML. Le journal est créé dans le dossier du projet, par exemple, \myDriverProject\myDriverName.DVL.XML.

SDV effectue une reconstruction propre du pilote, ce qui supprime le journal d'analyse du code. Veillez donc à exécuter SDV avant d'exécuter l'autorité de certification.

Lorsque vous êtes prêt à tester votre pilote à l'aide du kit de laboratoire matériel Windows, copiez le journal de vérification du pilote dans le répertoire %systemdrive%\DVL de l'ordinateur de test. Supprimez le contenu du répertoire sur l'ordinateur de test avant de copier le nouveau journal de vérification du pilote.

Important

Les dépassements de délai, les dépassements d'espace et les autres résultats non réussis dans le fichier DVL sont acceptables pour la soumission à la certification. Les résultats non satisfaisants n'entraîneront pas l'échec du test des outils statiques dans HLK.

Utiliser la fenêtre d'invite de commande de Visual Studio

Vous pouvez également créer le journal de vérification du pilote à partir d'une fenêtre d'invite de commande de Visual Studio. Utilisez soit l'invite de commande des outils natifs de Visual Studio installée avec Visual Studio, soit l'Enterprise Windows Driver Kit (EWDK).

msbuild.exe <vcxprojectfile> /target:dvl /p:Configuration="Release" /P:Platform=x64

Créer un journal de vérification des pilotes en dehors de msbuild ou de Visual Studio

Microsoft fournit, dans le cadre des kits de pilotes Windows (WDK) et Enterprise WDK (eWDK), un composant appelé dvl.exe qui peut être utilisé pour générer des journaux de vérification des pilotes (DVL) via la ligne de commande. À partir de la version 21342 du WDK/eWDK, il est possible de générer un DVL à partir de la ligne de commande en dehors du contexte de msbuild ou de Visual Studio.

Générer une DVL à partir d'un fichier CodeQL sarif

  1. Localisez dvl.exe à partir du WDK ou d'un eWDK monté. Il est généralement installé dans C:\Program Files (x86)\Windows Kits\10\Tools\dvl\dvl.exe
  2. Appelez dvl.exe en lui transmettant l'indicateur /manualCreate, un nom de pilote, une architecture souhaitée et /sarifPath. Où /sarifPath comprend le chemin d'accès au dossier contenant le fichier sarif.
"C:\Program Files (x86)\Windows Kits\10\Tools\dvl\dvl.exe" /manualCreate <driverName> <driverArchitecture> /sarifPath <pathToSarifLocation>

Générez un DVL à partir d'un fichier CodeQL sarif, ou lorsque vous utilisez l'autorité de certification et SDV

  1. Placez les résultats qui doivent être consommés pour créer la DVL dans un seul répertoire, ainsi que tout fichier vcxproj. Pour les pilotes à certifier pour Windows Client, ce fichier est le fichier CodeQL SARIF. La certification Windows Server peut également inclure les fichiers de résultats de l'analyse de code et du vérificateur statique de pilote (SDV). Consultez les documents relatifs aux exigences du WHCP pour obtenir des détails spécifiques sur les outils qui doivent être utilisés pour la certification des pilotes d'appareils.

  2. Placez les fichiers SARIF de CodeQL et les fichiers XML d'analyse de code au premier niveau du répertoire. Placez le fichier SDV DVL.xml dans un sous-dossier appelé sdv.

  3. Naviguez vers le répertoire de premier niveau qui contient le fichier CodeQL SARIF à partir de la ligne de commande.

  4. Localisez dvl.exe à partir du WDK ou d'un eWDK monté.

  5. Appelez dvl.exe en indiquant l'indicateur /manualCreate, le nom du pilote et l'architecture souhaitée. Par exemple :

    Utilisez l'une des chaînes suivantes pour votre architecture de pilote :

    • X86
    • X64
    • Arm
    • Arm64

    Remarque

    N'incluez pas « .sys » dans votre nom de pilote.

  6. Inspectez la DVL pour vous assurer qu'elle a été générée correctement.

Cette utilisation est principalement destinée à générer des DVL avec des résultats CodeQL, mais peut également être utilisée pour les résultats SDV et CA.

Notes de publication

Les informations les plus récentes concernant l'outil d'analyse de code, le Static Driver Verifier et le journal de vérification du pilote se trouvent dans les notes de mise à jour du WDK sur la page de téléchargement du Windows Driver Kit (WDK).