Правило CompleteCanceledReq (kmdf)

  • Статья

Правило CompleteCanceledReq указывает, что если запрос уже отменен, запрос становится недействительным и драйвер не должен его завершить. Хотя драйвер отменяет пометку запроса, который ранее был помечен как отменяемый, он должен проверка, что запрос еще не был отменен. Если драйвер не проверка, драйвер может выполнить запрос, который был освобожден.

Модель драйвера: KMDF

Как тестировать

Во время компиляции

Запустите средство проверки статических драйверов и укажите правило CompleteCanceledReq .

Выполните следующие действия, чтобы выполнить анализ кода.
  1. Подготовьте код (используйте объявления типов ролей).
  2. Запустите средство проверки статических драйверов.
  3. Просмотр и анализ результатов.

Дополнительные сведения см. в разделе Использование средства проверки статических драйверов для поиска дефектов в драйверах.

Применяется к

WdfRequestCompleteWdfRequestCompleteWithInformationWdfRequestCompleteWithPriorityBoostWdfRequestUnmarkCancelable