Fichier d’options du vérificateur de pilote statique
Le fichier d’options du vérificateur de pilote statique, sdv-default.xml, stocke les paramètres d’option par défaut pour le vérificateur de pilote statique. Ce fichier est créé dans les sous-répertoires \tools\sdv\data\wdm et \tools\sdv\data\wdf du wdK. Vous pouvez modifier le fichier pour modifier les paramètres d’option et le copier dans le répertoire des sources de n’importe quel pilote.
Cette section inclut les éléments suivants :
Fichiers d’options globales et locales
Exemples de fichiers d’options
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.