Поделиться через

Правило NdisAllocateNetBuffer (ndis)

  • Статья

Правило NdisAllocateNetBuffer указывает, что NdisAllocateNetBuffer и NdisFreeNetBuffer вызываются в альтернативном порядке. Конечная цель — убедиться, что все экземпляры NET_BUFFER освобождаются после окончания MiniportHaltEx .

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

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

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

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

Запустите средство проверки статических драйверов и укажите правило NdisAllocateNetBuffer .

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

Дополнительные сведения см. в статье Использование средства проверки статических драйверов для поиска дефектов в драйверах.

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

NdisAllocateNetBufferNdisFreeNetBuffer