IoSetCompletionRoutineExCheck-Regel (wdm)

Die IoSetCompletionRoutineExCheck-Regel gibt an, dass die IoSetCompletionRoutineEx-Routine einen NTSTATUS-Wert zurückgibt. Der Treiber muss diesen Wert überprüfen, um festzustellen, ob die IoCompletion-Routine erfolgreich registriert wurde, bevor IoCallDriver oder PoCallDriver aufgerufen wird.

Wenn die IoCompletion-Routine erfolgreich registriert wurde, weist IoSetCompletionRoutineEx Arbeitsspeicher zu, der bis zur Ausführung der IoCompletion-Routine zugeordnet bleibt. Treiber müssen sicherstellen, dass ihre IoCompletion-Routine ausgeführt wird, indem sie IoCallDriver oder PoCallDriver aufrufen, andernfalls wird der Kernel Arbeitsspeicher verloren.

Treibermodell: WDM

So führen Sie einen Test durch

Beim Kompilieren:

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

IoCallDriverIoSetCompletionRoutineExPoCallDriver