Traitement de bibliothèque dans le vérificateur de pilote statique

De nombreux pilotes dépendent de bibliothèques de fonctions liées dynamiquement et statiquement. En règle générale, les bibliothèques incluent des fonctions de traitement générales, mais dans certaines situations, elles incluent des fonctionnalités qui font partie intégrante du pilote.

Les bibliothèques sont essentielles pour déterminer si le pilote est conforme aux règles d’interface. Par exemple, sans code de bibliothèque, un pilote peut sembler avoir manqué un appel obligatoire inclus dans la bibliothèque. Ou bien, la bibliothèque peut inclure un appel que le pilote duplique, ce qui provoque une erreur répétée, comme la libération d’un verrou deux fois.

Pour inclure une bibliothèque dans la vérification d’un pilote, SDV doit d’abord traiter la bibliothèque pour la préparer à une utilisation dans la vérification du pilote.

SDV tente de détecter et de traiter automatiquement toutes les bibliothèques dont dépend le pilote, mais comme il ne connaît pas l’emplacement de certains fichiers sources de bibliothèque, il ne peut pas traiter automatiquement ces bibliothèques et les inclure dans la vérification du pilote. Pour vous assurer que SDV fournit l’analyse la plus précise pour votre pilote, vous devez ajouter manuellement toutes les bibliothèques que votre pilote référence au cache de bibliothèque de SDV en cliquant sur l’onglet Bibliothèques et en sélectionnant Ajouter une bibliothèque pour traiter les bibliothèques. Si vous exécutez dans la ligne de commande, vous pouvez ajouter une bibliothèque en exécutant sdv avec la commande /lib sur le projet de bibliothèque.

Une fois que SDV a traité une bibliothèque, il conserve ses fichiers de traitement pour cette bibliothèque et inclut automatiquement le code de la bibliothèque dans les vérifications de tous les pilotes qui nécessitent la bibliothèque. Vous n’avez pas besoin de retraiter la bibliothèque, sauf si le code de la bibliothèque change. Pour obtenir des instructions sur le retraitement d’une bibliothèque, consultez Retraitement d’une bibliothèque.

Cette section comprend :

Traitement d’une bibliothèque

Retraitement d’une bibliothèque

Commentaires

SDV inclut les fichiers de bibliothèque traités pour les bibliothèques système. Vous n’avez pas besoin de diriger SDV pour traiter ces bibliothèques. Quand SDV détecte qu’un pilote dépend de ces bibliothèques, il utilise ses fichiers traités pour ces bibliothèques sans afficher de message d’avertissement. Pour plus d’informations sur la configuration requise de la bibliothèque, consultez Déterminer si static Driver Verifier prend en charge votre pilote ou votre bibliothèque.