Partager via

Analyse du code pour les pilotes

  • Article

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). PREfast for Drivers a également été intégré à l’environnement WDK Build, dans le cadre de Microsoft Automated Code Review (OACR). À compter du Kit de pilotes Windows (WDK) 8, les fonctionnalités spécifiques au pilote ont été intégrées à l’analyse de la qualité des applications à l’aide des outils d’analyse du code.

Important

Le Programme de compatibilité matérielle Windows nécessite codeQL pour les tests STL (Static Tool Logo) sur nos systèmes d’exploitation client et serveur. Nous continuerons à maintenir la prise en charge de SDV et de l’autorité de certification sur les produits plus anciens. Les partenaires sont vivement encouragés à passer en revue les exigences CodeQL pour le test STL (Static Tool Logo). Pour plus d’informations sur l’utilisation de CodeQL, consultez CodeQL et le test du logo Static Tools.

Contenu de cette section

Important

L’analyse du code pour les pilotes est disponible dans windows 24H2 WDK et EWDK, mais il est conseillé qu’il soit mis hors service à une date ultérieure.
À l’avenir, CodeQL sera l’outil d’analyse statique principal pour les pilotes. CodeQL fournit un langage de requête puissant qui traite le code comme une base de données à interroger, ce qui facilite l’écriture de requêtes pour des comportements, des modèles spécifiques, etc. Pour plus d’informations sur l’utilisation de CodeQL, consultez CodeQL et le test du logo Static Tools.