Interprétation des résultats du vérificateur de pilote statique

Lorsque vous lancez Static Driver Verifier à partir de Visual Studio et exécutez une analyse de votre pilote, les résultats apparaissent dans le résumé des Résultats sur l’onglet Principal.

Statistiques

Les points d’entrée signalent le nombre de points d’entrée trouvés dans le code source du pilote. Les points d’entrée sont les routines de rappel ou de dispatch fournies par le pilote. Vous définissez les points d’entrée en utilisant des déclarations de type de rôle de fonction. Pour effectuer l’analyse, SDV doit trouver au moins un point d’entrée. Pour plus d’informations, veuillez consulter la section Utilisation des déclarations de type de rôle de fonction.

Les défauts trouvés signalent le nombre de défauts trouvés lors de l’analyse. Un défaut est une violation d’une règle de conformité DDI.

Les tests exécutés signalent le nombre de règles qui ont été testées pendant l’analyse. Il s’agit des règles que vous sélectionnez sous l’onglet Règles .

Statut

Signale l’état de l’analyse. Une fois terminée, vous pouvez examiner les résultats trouvés.

Résultats

Terminé (règle)
SDV a testé le pilote pour une violation de la règle mais n’a pu prouver aucune violation de la règle.

Ce résultat ne signifie pas que le pilote est exempt d’erreurs. Cela signifie seulement que SDV n’a pas pu prouver qu’il a violé la règle dans le passage de vérification.

Désinscrire
Si SDV a signalé un ou plusieurs défauts, cliquez sur le lien Défaut pour utiliser le rapport Static Driver Verifier pour voir la trace de l’erreur.

Non applicable
SDV a testé le pilote pour une violation de la règle, mais le pilote ne supportait pas le point d’entrée requis pour l’analyse ou le pilote n’a pas appelé la fonction que la règle surveille.

Si la règle surveille un argument particulier dans un appel de fonction (généralement, un pointeur vers une ressource) et que le pilote n’appelle pas la fonction ou ne fait pas référence à cet argument, la règle ne s’applique pas au pilote.

Si le pilote spécifie les points d’entrée et appelle les fonctions que la règle surveille, ce résultat peut indiquer que SDV n’a pas trouvé ou n’a pas correctement interprété le point d’entrée. Pour confirmer que cette situation s’est produite, examinez et, si nécessaire, corrigez le fichier Sdv-map.h. Pour des informations sur cette procédure, veuillez consulter la section Scanner le pilote.

Pour plus d’informations sur chaque règle, veuillez consulter la référence Règles de Static Driver Verifier.

Pour examiner davantage le pilote, exécutez une vérification en utilisant des règles différentes.

Délais d'attente
SDV a cessé de vérifier la règle parce qu’il a dépassé son délai pour vérifier chaque règle. Le délai est défini dans le le fichier Options de Static Driver Verifier, ou dans le champ Maximum time de l’onglet Configuration.

Un timeout est considéré comme un résultat non concluant. Il n’indique pas une erreur du pilote. Si SDV signale un timeout, prolongez le temps permis pour la vérification (la valeur SDV_SlamConfig_Timeout dans le fichier sdv-default.xml) et exécutez à nouveau la vérification.

Terminé (Propriété)
SDV a exécuté la règle de propriété du pilote pour le pilote spécifié. Une règle de propriété du pilote vérifie les capacités ou les fonctionnalités prises en charge par le pilote et est une introduction à une analyse plus approfondie. Par exemple, la règle de propriété du pilote, CancelRoutine, vérifie si le pilote WDM a enregistré une routine Cancel. Si une routine Cancel n’est pas détectée, des règles WDM spécifiques ne s’appliquent pas. Cela signifie que la propriété du pilote n’était pas satisfaite.

Satisfait (Propriété)
SDV a exécuté la règle de propriété du pilote pour le pilote spécifié. Une règle de propriété du pilote vérifie les capacités ou les fonctionnalités prises en charge par le pilote et est une introduction à une analyse plus approfondie. Par exemple, la règle de propriété du pilote, CancelRoutine, vérifie si le pilote WDM a enregistré une routine Cancel. Si une routine Cancel est détectée, des règles WDM spécifiques s’appliquent. Cela signifie que la propriété du pilote était satisfaite

Spaceouts
Le nombre de règles que SDV a cessé de vérifier parce qu’il a dépassé la limite de mémoire pour vérifier la règle. La limite de mémoire est définie dans le fichier Options de Static Driver Verifier, sdv-default.xml.

Un spaceout est considéré comme un résultat non concluant. Si SDV signale un spaceout, augmentez l’espace alloué pour la vérification (la valeur SDV_SlamConfig_Spaceout dans le fichier sdv-default.xml) et exécutez à nouveau la vérification.

Autres

Le nombre de fois que SDV a rencontré une erreur interne dont il n’a pas pu se remettre. Veuillez consulter la page Messages d’erreurs de Static Driver Verifier pour plus d’informations sur les erreurs et le débogage.