Правило StopAckWithinEvtIoStop (kmdf)
Правило StopAckWithinEvtIoStop указывает, что функция WdfRequestStopAcknowledge вызывается только из функции обратного вызова EvtIoStop .
Модель драйвера: KMDF
Как тестировать
Во время компиляции |
---|
Запустите Static Driver Verifier и укажите правило StopAckWithinEvtIoStop . Выполните следующие действия, чтобы выполнить анализ кода.
Дополнительные сведения см. в разделе Использование средства проверки статических драйверов для поиска дефектов в драйверах. |