Правило IoSetCompletionRoutineExCheckDeviceObject (wdm)
Правило IoSetCompletionRoutineExCheckDeviceObject указывает, что если текущий объект устройства не передается в IoSetCompletionRoutineEx , а нижний объект устройства — , это может привести к состоянию гонки, при котором текущий объект устройства может быть выгружен, даже если подпрограмма завершения не запущена.
Модель драйвера: WDM
Как тестировать
Во время компиляции |
---|
Запустите Static Driver Verifier и укажите правило IoSetCompletionRoutineExCheckDeviceObject . Выполните следующие действия, чтобы выполнить анализ кода.
Дополнительные сведения см. в разделе Использование средства проверки статических драйверов для поиска дефектов в драйверах. |