Condividi tramite


Regola PdoInitFreeDeviceCreateType4 (kmdf)

La regola PdoInitFreeDeviceCreateType4 specifica che il driver deve chiamare WdfDeviceInitFree se si verifica un errore quando il driver chiama WdfDeviceCreate.

Se il driver rileva un errore quando chiama WdfDriverCreate e se il driver ha ricevuto la struttura WDFDEVICE_INIT da una chiamata a WdfPdoInitAllocate, il driver deve chiamare WdfDeviceInitFree.

Modello di driver: KMDF

Come eseguire il test

In fase di compilazione

Eseguire Static Driver Verifier e specificare la regola PdoInitFreeDeviceCreateType4 .

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.

Si applica a

WdfDeviceCreateWdfDeviceInitFreeWdfPdoInitAllocate