Regola DeviceInitAPI (kmdf)

Per un dispositivo FDO, i metodi di inizializzazione degli oggetti del dispositivo framework e i metodi di inizializzazione FDO del framework devono essere chiamati prima che il driver chiami il metodo WdfDeviceCreate per l'oggetto device.

Per un dispositivo FDO, i metodi di inizializzazione dell'oggetto del framework e i metodi di inizializzazione FDO del framework, che archiviano le informazioni nella struttura WDFDEVICE_INIT , non possono essere chiamati dopo che il driver chiama WdfDeviceCreate per l'oggetto dispositivo framework.

Modello di driver: KMDF

Come eseguire il test

In fase di compilazione
Eseguire il verifica driver statico e specificare la regola DeviceInitAPI . Usa i passaggi descritti di seguito per eseguire un'analisi del codice: Prepara il codice (usa dichiarazioni di tipo ruolo). Esegui Driver Verifier statico. Visualizza e analizza i risultati. Per altre informazioni, vedere Uso del verificatore driver statico per trovare i difetti nei driver.

Si applica a

WdfDeviceCreate
WdfDeviceInitAssignName
WdfDeviceInitAssignSDDLString
WdfDeviceInitAssignWdmIrpPreprocessCallback
WdfDeviceInitRegisterPnpStateChangeCallback
WdfDeviceInitRegisterPowerPolicyStateChangeCallback
WdfDeviceInitRegisterPowerStateChangeCallback
WdfDeviceInitSetCharacteristics
WdfDeviceInitSetDeviceClass
WdfDeviceInitSetDeviceType
WdfDeviceInitSetExclusive
WdfDeviceInitSetFileObjectConfig
WdfDeviceInitSetIoInCallerContextCallback
WdfDeviceInitSetIoType
WdfDeviceInitSetPnpPowerEventCallbacks
WdfDeviceInitSetPowerInrush
WdfDeviceInitSetPowerNotPageable
WdfDeviceInitSetPowerPageable
WdfDeviceInitSetPowerPolicyEventCallbacks
WdfDeviceInitSetPowerPolicyOwnership
WdfDeviceInitSetRequestAttributes
WdfFdoInitAllocAndQueryProperty
WdfFdoInitOpenRegistryKey
WdfFdoInitQueryProperty
WdfFdoInitSetDefaultChildListConfig
WdfFdoInitSetEventCallbacks
WdfFdoInitSetFilter
WdfFdoInitWdmGetPhysicalDevice