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 s’affichent dans le résumé des résultats sous l’onglet Principal.

Statistiques

Points d’entrée Indique 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 distribution fournies par le conducteur. Vous définissez les points d’entrée à l’aide de déclarations de type de rôle de fonction. Pour effectuer une analyse, SDV doit fiindr au moins un point d’entrée. Pour plus d’informations, consultez Utilisation des déclarations de type de rôle de fonction.

Défauts trouvés Indique le nombre de défauts détectés au cours de l’analyse. Un défaut est une violation d’une règle de conformité DDI.

Tests exécutés Indique 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 les status de l’analyse. Une fois terminé, vous pouvez passer en revue les résultats trouvés.

Résultats

Terminé (règle)
SDV a testé le conducteur pour violation de la règle, mais il n’a pas pu prouver qu’il y avait violation de la règle.

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

Défaut
Si SDV a signalé un ou plusieurs défauts, cliquez sur le lien Défaut pour utiliser le rapport du vérificateur de pilote statique pour afficher la trace de l’erreur.

Non applicable
SDV a testé le pilote pour la violation de la règle, mais le pilote ne prenait pas en charge 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 référence pas cet argument, la règle ne s’applique pas au pilote.

Si le pilote spécifie les points d’entrée et qu’il appelle les fonctions que la règle surveille, ce résultat peut indiquer que SDV n’a pas trouvé ou n’a pas interprété correctement 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 plus d’informations sur cette procédure, consultez Analyse du pilote.

Pour plus d’informations sur chaque règle, consultez la référence règles du vérificateur de pilotes statiques .

Pour examiner davantage le pilote, exécutez une vérification à l’aide de différentes règles.

Délais
SDV a cessé de vérifier la règle, car il a dépassé sa limite de temps pour la vérification de chaque règle. La limite de temps est définie dans le fichier d’options du vérificateur de pilote statique ou dans le champ Durée maximale sous l’onglet Configuration .

Un délai d’expiration est considéré comme un résultat non concluant. Il n’indique pas d’erreur de pilote. Si SDV signale un délai d’expiration, étendez le temps autorisé pour la vérification (valeur SDV_SlamConfig_Timeout dans le fichier sdv-default.xmlfile) et réexécutez la vérification.

Completed (Property)
SDV a exécuté la règle de propriété du pilote pour le pilote spécifié. Une règle de propriété de pilote vérifie les fonctionnalités du pilote ou les fonctionnalités prises en charge et est un prélude à une analyse plus approfondie. Par exemple, la règle de propriété de pilote CancelRoutine vérifie si le pilote WDM a inscrit une routine Cancel . Si aucune routine Cancel n’est détectée, des règles WDM spécifiques ne s’appliquent pas. Cela signifie que la propriété du pilote n’a pas été 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é de pilote vérifie les fonctionnalités du pilote ou les fonctionnalités prises en charge et est un prélude à une analyse plus approfondie. Par exemple, la règle de propriété de pilote CancelRoutine vérifie si le pilote WDM a inscrit 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 a été satisfaite

Espacements
Nombre de règles que SDV a cessé de vérifier, car il a dépassé la limite de mémoire pour la vérification de la règle. La limite de mémoire est définie dans le fichier d’options du vérificateur de pilote statique, sdv-default.xml.

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

Autres

Nombre de fois où SDV a rencontré une erreur interne dont il n’a pas pu se récupérer. Pour plus d’informations sur les erreurs et le débogage, consultez la page Messages d’erreur du vérificateur de pilote statique .