Limitations du vérificateur de pilotes statiques

Cette section décrit les limitations générales de l’outil SDV, certaines limitations techniques qui empêchent SDV d’interpréter correctement le code du pilote et les caractéristiques des pilotes que SDV peut vérifier.

Cette section comprend :

Déterminer si Static Driver Verifier prend en charge votre pilote ou votre bibliothèque

Outils généraux et limitations techniques du vérificateur de pilotes statiques

Utilisation de la fonction _analysis_assume pour supprimer les faux défauts

Utilisation de __sdv_save_request et de __sdv_retrieve_request pour les appels de procédure différée

Utilisation de __sdv_save_adapter_context pour suivre les champs de contexte de l’adaptateur