Regola PdoInitFreeDeviceCallback (kmdf)

  • Articolo

La regola PdoInitFreeDeviceCallback specifica che il driver deve chiamare WdfDeviceInitFree se si verifica un errore quando il driver chiama qualsiasi funzione di inizializzazione dell'oggetto del dispositivo framework.

Se il driver rileva un errore durante l'inizializzazione di un nuovo oggetto dispositivo framework e se il driver ha ricevuto la struttura di 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 il verifica driver statico e specificare la regola PdoInitFreeDeviceCallback .

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 Uso del verificatore driver statico per trovare i difetti nei driver.

Si applica a

WdfDeviceInitAssignNameWdfDeviceInitAssignSDDLStringWdfDeviceInitAssignWdmIrpPreprocessCallbackWdfDeviceInitFree WdfDeviceInitFree WdfDeviceInitRegisterPnpStateChangeCallbackWdfDeviceInitRegisterPowerPolicyStateChangeCallbackWdfDeviceInitRegisterPowerStateChangeCallbackWdfPdoInitAddCompatibleIDWdfPdoInitAddDeviceTextWdfPdoInitAddHardwareIDWdfPdoInitAllocateWdfPdoInitAssignDeviceIDWdfPdoInitAssignInstanceIDWdfPdoInitAssignRawDevice

Vedi anche

InitFreeDeviceCallbackInitFreeDeviceCreateInitFreeDeviceCreateType2PdoInitFreeDeviceCreateType2InitFreeDeviceCreateType4PdoInitFreeDeviceCreatePdoInitFreeDeviceCreateType4InitFreeNull