Freigeben über


ReqMarkCancelableSend-Regel (kmdf)

Die ReqMarkCancelableSend-Regel gibt an, dass vom Treiber weitergeleitete Anforderungen nicht durch Aufrufen von WdfRequestMarkCancelable als abbruchfähig markiert werden.

Um die Anforderung als abbruchfähig zu markieren, muss der Treiber besitzer der Anforderung sein. Wenn die Anforderung an einen anderen Treiber gesendet wird, hat der vorherige Treiber keinen Besitz mehr und muss WdfRequestUnmarkCancelable für die Anforderung aufrufen, wenn er zuvor als abbruchfähig gekennzeichnet wurde.

Treibermodell: KMDF

So führen Sie einen Test durch

Beim Kompilieren:

Führen Sie Static Driver Verifier aus, und geben Sie die Regel ReqMarkCancelableSend an.

Gehen Sie folgendermaßen vor, um Ihren Code zu analysieren:
  1. Bereiten Sie den Code vor (verwenden Sie Rollentypdeklarationen).
  2. Führen Sie Static Driver Verifier aus.
  3. Überprüfen und analysieren Sie die Ergebnisse.

Weitere Informationen finden Sie unter Verwenden der statischen Treiberüberprüfung, um Fehler in Treibern zu finden.

Gilt für:

WdfRequestMarkCancelableWdfRequestMarkCancelableExWdfRequestSendWdfRequestUnmarkCancelable