Règles de conformité DDI
Cette section répertorie et décrit les règles de conformité de l’interface de pilote de périphérique Windows (DDI) que vous pouvez utiliser pour vérifier le modèle de pilote Windows (WDM), l’infrastructure kmDF (Kernel Mode Driver Framework), l’audio (portCls), AVStream (KS), NDIS et les pilotes Storport. Les règles de conformité DDI définissent les exigences pour l’interaction appropriée entre un pilote et l’interface du noyau du système d’exploitation.
Règles pour les pilotes audio
Règles pour les pilotes AVStream
Règles pour les pilotes WDM
Règles pour les pilotes KMDF
Règles pour les pilotes NDIS
Règles pour les pilotes Storport
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.
Outils de vérification des pilotes
Vous pouvez utiliser les outils d’analyse du code, static Driver Verifier et Driver Verifier pour tester un pilote pour la conformité aux règles d’utilisation DDI. Static Driver Verifier (SDV) effectue une analyse statique sur le code source du pilote, ce qui vous permet d’utiliser SDV au début du cycle de développement. Le vérificateur de pilotes est intégré au système d’exploitation. Vous pouvez donc tester un pilote au moment de l’exécution une fois qu’il a été créé, déployé et installé.
À l’aide du code source du pilote, Static Driver Verifier crée un modèle du pilote et du système d’exploitation. Dans ce modèle, SDV place le pilote dans un environnement hostile et teste systématiquement les chemins de code par le biais du pilote en recherchant des violations d’un ensemble formel de règles de conformité du pilote (règles static Driver Verifier).
À compter de Windows 8, vous pouvez configurer le vérificateur de pilotes pour exécuter certaines des mêmes vérifications de conformité sur les pilotes installés en activant la vérification de conformité DDI.
Important
SDV n’est plus pris en charge et SDV n’est plus disponible dans les versions wdK ou EWDK de Windows 24H2. Il n’est pas disponible dans les kits WDK plus récents que la build 26017 et n’est pas inclus dans windows 24H2 RTM WDK.
SDV peut toujours être utilisé en téléchargeant windows 11, version 22H2 EWDK (publiée le 24 octobre 2023) avec Visual Studio Build Tools 17.1.5 à partir du téléchargement du Kit de pilotes Windows (WDK). Seule l’utilisation du kit WDK Entreprise pour exécuter SDV est recommandée. L’utilisation de versions antérieures de WDK standard conjointement avec les versions récentes de Visual Studio n’est pas recommandée, car cela entraînera probablement des échecs d’analyse.
À 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.