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