Share via

Analyse d’un pilote à l’aide des outils d’analyse et de vérification du code

  • Article

Les outils d’analyse et de vérification du code peuvent vous aider à améliorer la stabilité et la fiabilité de votre pilote en analysant systématiquement le code source. Les outils d’analyse et de vérification du code peuvent détecter les erreurs qui sont manquées par le compilateur et par les tests d’exécution conventionnels. En outre, ils peuvent déterminer si le pilote interagit correctement avec le noyau du système d’exploitation Windows. À l’aide de Microsoft Visual Studio et du Kit de pilotes Windows (WDK), vous pouvez configurer les outils d’analyse et de vérification du code pour qu’ils s’exécutent dans le cadre du processus de génération, ou vous pouvez planifier les outils pour analyser votre pilote à un moment prédéterminé.

Outil d’analyse du code C/C++ pour les pilotes Windows

La version Windows 8 de WDK apporte des améliorations à l’outil Analyse du code C/C++ inclus dans Visual Studio. Plus précisément, le WDK fournit un module de pilote spécialisé qui est conçu pour détecter les erreurs dans le code du pilote en mode noyau. Ce module pilote est intégré à l’outil Analyse du code C/C++.

Quand utiliser : Vous pouvez exécuter l’outil Analyse du code C/C++ pour les pilotes très tôt dans le cycle de développement, dès que le code se compile correctement.

Pour plus d’informations sur l’outil Analyse du code dans Visual Studio, consultez :

Note Dans les versions précédentes du WDK, le module spécifique au pilote pour l’analyse du code faisait partie d’un outil autonome appelé PREfast for Drivers (PFD). PREfast for Drivers a également été intégré à l’environnement de build WDK, dans le cadre de Microsoft Automated Code Review (OACR).

Vérificateur de pilote statique

Le vérificateur de pilote statique (SDV, Static Driver Verifier) est un outil de vérification statique qui analyse systématiquement le code source des pilotes en mode noyau de Windows. SDV détermine si le pilote interagit correctement avec le noyau du système d'exploitation Windows. SDV peut être lancé à partir du menu Pilote de Visual Studio ou de la fenêtre d’invite de commandes de Visual Studio .

Quand utiliser : Exécutez Static Driver Verifier au début du cycle de développement sur les pilotes qui se compilent correctement. Exécutez Static Driver Verifier avant de commencer le cycle de test.

Pour plus d’informations sur Static Driver Verifier, consultez :