Поделиться через

Правило CompleteRequest (wdm)

  • Статья

Правило CompleteRequest проверяет, не вызывается ли подпрограмма IoCompleteRequest после выполнения подпрограммы завершения и что она не возвращает STATUS_MORE_PROCESSING_REQUIRED.

Это правило сообщает о дефекте, если:

  • Драйвер вызывает IoCompleteRequest , если драйвер не владеет запросом.

  • Драйверу не удается вызвать IoCompleteRequest , когда требуется завершение.

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

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

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

Запустите Static Driver Verifier и укажите правило CompleteRequest .

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

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

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

IoCompleteRequestIoSetCompletionRoutineIoSetCompletionRoutineExRemoveHeadList