Правило CancelTimerObject (ndis)

Правило CancelTimerObject указывает, что NdisSetTimerObject и NdisCancelTimerObject вызываются в альтернативном порядке. Конечная цель — убедиться, что все таймеры будут отменены по окончании MiniportHaltEx .

Правило использует три разных состояния. Состояние изменяется при установке или отмене таймера. Если таймер по-прежнему установлен при выходе MiniportHaltEx , правило сообщает о дефекте.

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

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

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

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