Outils de vérification des pilotes
Le Kit de pilotes Windows (WDK) comprend plusieurs outils très complets conçus pour vous aider à détecter et corriger les erreurs dans le code du pilote pendant le processus de développement. Bon nombre de ces outils peuvent être utilisés très tôt dans le processus de développement où ils sont les plus critiques et peuvent vous sauver le plus de temps et d’effort.
Ces outils de vérification sont décrits dans la documentation WDK et recommandés pour votre utilisation, car chaque outil détecte différents types d’erreurs de pilote de différentes manières. Ces outils sont beaucoup plus efficaces que les vérifications manuelles. Ces outils peuvent détecter les erreurs qui ne sont généralement pas trouvées dans les tests de pilotes standard, et ils incarnent l’expertise des développeurs de pilotes chevronnés et des concepteurs d’interface de pilote Windows.
Pour obtenir de meilleurs résultats, utilisez tous les outils qui peuvent s’exécuter sur votre pilote. Si vous omettez l’un de ces outils, vous risquez de manquer un bogue sérieux dans votre pilote.
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.
Cette section commence par une brève discussion sur les caractéristiques des outils de vérification du code et une enquête sur les outils inclus dans wdK et dans Windows ou disponibles auprès de Microsoft.
Cette section inclut les éléments suivants :
Outils de vérification statique et dynamique
CodeQL et test du logo Static Tools
Désinfecteur d’adresse du noyau
Autres outils
Si vous avez accès à d’autres outils de vérification de code ou de pilote (à partir d’autres sources), nous vous encourageons à les utiliser en plus des outils du WDK. Veillez à utiliser des outils tels que le vérificateur de pilote et l’assainissant d’adresse du noyau en raison de leurs connaissances spécifiques des pilotes Windows, mais chaque outil examine le code de différentes manières et peut donc vous aider à trouver et à résoudre différents types de problèmes.