InitFreeDeviceCreateType4-Regel (kmdf)
Die Regel InitFreeDeviceCreateType4 gibt an, dass ein Treiber WdfDeviceInitFree aufrufen muss, wenn beim Aufrufen von WdfDeviceCreate ein Fehler auftritt und der Treiber die WDFDEVICE_INIT-Struktur von einem Aufruf von WdfControlDeviceInitAllocate erhalten hat.
Treibermodell: KMDF
Beim Kompilieren: |
---|
Führen Sie Static Driver Verifier aus, und geben Sie die Regel InitFreeDeviceCreateType4 an . Gehen Sie folgendermaßen vor, um Ihren Code zu analysieren:
Weitere Informationen finden Sie unter Verwenden der statischen Treiberüberprüfung, um Fehler in Treibern zu finden. |
WdfControlDeviceInitAllocateWdfDeviceCreateWdfDeviceInitFree
InitFreeDeviceCallbackInitFreeDeviceCreateInitFreeDeviceCreateType2PdoInitFreeDeviceCreateType2PdoInitFreeDeviceCallbackPdoInitFreeDeviceCreatePdoInitFreeDeviceCreateType4InitFreeNull