Правило IrpCancelField (wdm)

Правило IrpCancelField указывает, что драйвер проверка значение члена Irp-Cancel> при задании подпрограммы отмены для IRP, который он занес.

Средство проверки статических драйверов применяет это правило в конце процедуры StartIo драйвера и в конце процедуры диспетчеризации драйвера.

Сведения о том, как драйвер должен обрабатывать отмену IRP, см. в разделе Синхронизация отмены IRP.

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

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

Во время компиляции
Запустите Static Driver Verifier и укажите правило IrpCancelField . Выполните следующие действия, чтобы выполнить анализ кода. Подготовьте код (используйте объявления типов ролей). Запустите средство проверки статических драйверов. Просмотр и анализ результатов. Дополнительные сведения см. в разделе Использование средства проверки статических драйверов для поиска дефектов в драйверах.

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

IoCsqInsertIrpIoCsqInsertIrpExIoMarkIrpPendingIoSetCancelRoutine

См. также раздел

Синхронизация отмены IRP