Правило IrpCancelField (wdm)

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

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

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

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

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

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

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

Выполните следующие действия, чтобы выполнить анализ кода.

Были ли сведения на этой странице полезными?