Partager via


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 :
  1. Préparez votre code (utilisez les déclarations de type).
  2. Exécutez le vérificateur de pilote statique.
  3. Affichez et analysez les résultats.

Pour plus d’informations, consultez Utilisation du vérificateur de pilote statique pour rechercher des défauts dans les pilotes.

S’applique à

NdisMOidRequestComplete