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


Правило IoSetCompletionExCompleteIrp (wdm)

Правило IoSetCompletionExCompleteIrp указывает, что подпрограмма IoSetCompletionRoutineEx возвращает значение NTSTATUS. Драйвер должен проверка это значение, чтобы определить, была ли подпрограмма IoCompletion успешно зарегистрирована перед вызовом IoCallDriver или PoCallDriver, и если IoSetCompletionRoutineEx завершается, IRP должна быть завершена и подпрограмма диспетчеризации должна вернуться.

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

Проверка ошибок, обнаруженных с помощью этого правила: 0xC4 проверки ошибок: DRIVER_VERIFIER_DETECTED_VIOLATION (0x0004100F)

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

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

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

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

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

во время выполнения

Запустите средство проверки драйверов и выберите параметр проверка соответствия DDI .

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

IoCompleteRequestIoSetCompletionRoutineEx