Condividi tramite

Regola WriteErrorLog (ndis)

  • Articolo

La regola WriteErrorLog specifica che se la funzione NdisMAllocateSharedMemory viene chiamata nella funzione MiniportInitializeEx , il driver deve chiamare anche NdisWriteErrorLogEntry se l'allocazione non riesce.

In genere, è consigliabile registrare una voce di errore nel log ogni volta che un'operazione di memoria di allocazione non riesce. La maggior parte delle operazioni di allocazione si verifica nella funzione di callback MiniportInitializeEx . Per altre informazioni su come registrare un errore, vedere l'esempio di codice seguente.

Modello di driver: NDIS

Esempio

// 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");
}

Come eseguire il test

In fase di compilazione

Eseguire Static Driver Verifier e specificare la regola WriteErrorLog .

Usa i passaggi descritti di seguito per eseguire un'analisi del codice:
  1. Prepara il codice (usa dichiarazioni di tipo ruolo).
  2. Esegui Driver Verifier statico.
  3. Visualizza e analizza i risultati.

Per altre informazioni, vedere Using Static Driver Verifier to Find Defects in Drivers.For more information, see Using Static Driver Verifier to Find Defects in Drivers.