Правило QueuedSpinLockRelease (storport)
Это правило проверяет, не вызывает ли драйвер KeReleaseInStackQueuedSpinLock без предварительного получения блокировки через KeAcquireInStackQueuedSpinLock.
Модель драйвера: Storport
Как тестировать
Во время компиляции |
---|
Запустите средство проверки статических драйверов и укажите правило QueuedSpinLockRelease . Чтобы выполнить анализ кода, выполните следующие действия.
Дополнительные сведения см. в статье Использование средства проверки статических драйверов для поиска дефектов в драйверах. |
Применяется к
KeAcquireInStackQueuedSpinLockKeReleaseInStackQueuedSpinLock