Règle DoubleComplete (ndis)
La règle DoubleComplete spécifie que les pilotes NDIS ne doivent pas remplir une requête d’identificateur d’objet (OID) plusieurs fois.
Cette règle vérifie que lorsque la fonction de rappel MiniportOidRequest retourne NDIS_STATUS_SUCCESS, la fonction NdisMOidRequestComplete ne doit pas être appelée pour cette demande. La règle spécifie également que lorsque MiniportOidRequest retourne status en attente, le pilote ne doit pas appeler la fonction NdisMOidRequestComplete plusieurs fois pour cette demande.
Modèle de pilote : NDIS
Comment tester
Au moment de la compilation |
---|
Exécutez Static Driver Verifier et spécifiez la règle DoubleComplete . Utilisez les étapes suivantes pour exécuter l’analyse de votre code :
Pour plus d’informations, consultez Utilisation du vérificateur de pilote statique pour rechercher des défauts dans les pilotes. |