Partager via


Règle WriteErrorLog (ndis)

La règle WriteErrorLog spécifie que si la fonction NdisMAllocateSharedMemory est appelée dans la fonction MiniportInitializeEx , le pilote doit également appeler NdisWriteErrorLogEntry si l’allocation échoue.

En règle générale, il est recommandé de consigner une entrée d’erreur dans le journal chaque fois qu’une opération de mémoire d’allocation échoue. La plupart des opérations d’allocation se produisent dans la fonction de rappel MiniportInitializeEx . Pour plus d’informations sur la façon de consigner une erreur, consultez l’exemple de code suivant.

Modèle de pilote : NDIS

Exemple

// an example of how to log an error if memory allocation fails PVOID p;
NdisMAllocateSharedMemory(par1, par2, par3, &p, ...);
if (p == NULL)
{
 NdisWriteErrorLogEntry("Memory allocation failed");
}

Comment tester

Au moment de la compilation

Exécutez Static Driver Verifier et spécifiez la règle WriteErrorLog .

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.