Правило NdisAllocateMdl (ndis)

Правило NdisAllocateMdl указывает, что NdisAllocateMdl и NdisFreeMdl вызываются в альтернативном порядке. Конечная цель — убедиться, что все МНОГОМЕРные списки освобождаются по окончании MiniportHaltEx .

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

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

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

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

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

Применяется к

NdisAllocateMdlNdisFreeMdl