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 :
Pour plus d’informations, consultez Utilisation du vérificateur de pilote statique pour rechercher des défauts dans les pilotes. |