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
So führen Sie einen Test durch
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. |
Gilt für:
WdfControlDeviceInitAllocateWdfDeviceCreateWdfDeviceInitFree
Weitere Informationen
InitFreeDeviceCallbackInitFreeDeviceCreateInitFreeDeviceCreateType2PdoInitFreeDeviceCreateType2PdoInitFreeDeviceCallbackPdoInitFreeDeviceCreatePdoInitFreeDeviceCreateType4InitFreeNull
Feedback
https://aka.ms/ContentUserFeedback.
Bald verfügbar: Im Laufe des Jahres 2024 werden wir GitHub-Issues stufenweise als Feedbackmechanismus für Inhalte abbauen und durch ein neues Feedbacksystem ersetzen. Weitere Informationen finden Sie unterFeedback senden und anzeigen für