Règle DeviceInitAPI (kmdf)

Pour un appareil FDO, les méthodes d’initialisation de l’objet d’appareil framework et les méthodes d’initialisation FDO d’infrastructure doivent être appelées avant que le pilote appelle la méthode WdfDeviceCreate pour l’objet d’appareil.

Pour un appareil FDO, les méthodes d’initialisation de l’objet d’appareil framework et les méthodes d’initialisation FDO du framework, qui stockent des informations dans la structure WDFDEVICE_INIT , ne peuvent pas être appelées après que le pilote a appelé WdfDeviceCreate pour l’objet d’appareil framework.

Modèle de pilote : KMDF

Comment tester

Au moment de la compilation

Exécutez Static Driver Verifier et spécifiez la règle DeviceInitAPI . Utilisez les étapes suivantes pour exécuter l’analyse de votre code : Préparez votre code (utilisez les déclarations de type). Exécutez le vérificateur de pilote statique. Affichez et analysez les résultats. Pour plus d’informations, consultez Utilisation du vérificateur de pilote statique pour rechercher des défauts dans les pilotes.

S’applique à

WdfDeviceCreate
WdfDeviceInitAssignName
WdfDeviceInitAssignSDLString
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