Utilisation de SDV et des exemples de pilotes
Pour vous aider à commencer à utiliser static Driver Verifier (SDV), vous pouvez exécuter l’outil sur les exemples SDV-FailDriver. Les exemples de pilotes contiennent des erreurs de code intentionnelles conçues pour afficher les fonctionnalités et fonctionnalités de SDV. Ces exemples de pilotes ne sont pas fonctionnels et ne sont pas destinés à être des exemples de projets de développement de pilotes réels. Il existe des exemples de pilotes SDV-FailDriver disponibles dans le référentiel d’exemples de pilotes Windows sur GitHub.
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.