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

De nombreux pilotes dépendent de bibliothèques liées dynamiquement et statiquement de fonctions. 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 requis inclus dans la bibliothèque. Ou bien, la bibliothèque peut inclure un appel que le pilote duplique, provoquant une erreur répétée, par exemple 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 à être utilisée pour vérifier le pilote.

SDV tente de détecter et de traiter automatiquement toutes les bibliothèques sur lesquelles dépend le pilote, mais parce qu’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 de votre pilote, vous devez ajouter manuellement toutes les bibliothèques que votre pilote référence dans le cache de bibliothèques de SDV en cliquant sur l’onglet Bibliothèques et en sélectionnant Ajouter une bibliothèque. 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 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 inclut les éléments suivants :

Traitement d’une bibliothèque

Retraitement d’une bibliothèque

commentaires

SDV inclut des 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. Lorsque 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 pour la bibliothèque, consultez Déterminer si static Driver Verifier prend en charge votre pilote ou bibliothèque.