Analyse du code pour les pilotes

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 (principalement) le code du pilote en mode noyau.

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). À 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.

Dans cette section

• Vue d’ensemble de l’analyse du code pour les pilotes
• Comment exécuter l’analyse du code pour les pilotes
• Annotations SAL 2 pour les pilotes Windows
• Avertissements de l'analyse du code pour les pilotes