Freigeben über

SyncReqSend2-Regel (kmdf)

  • Artikel

Die SyncReqSend2-Regel gibt an, dass für synchrone Anforderungssendungen ein Timeoutwert ungleich null festgelegt ist.

Wenn der Treiber WdfRequestSend aufruft , ohne ein gültiges Timeout in den Anforderungsoptionen festzulegen, kann der Thread angehalten werden, wenn die Hardware nicht sofort antwortet.

Treibermodell: KMDF

So führen Sie einen Test durch

Beim Kompilieren:

Führen Sie Static Driver Verifier aus, und geben Sie die Regel SyncReqSend2 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:

WdfRequestSend