Правило Даубликсфрипул (Storport)

Это правило проверяет, что драйвер не пытается освободить один блок памяти пула дважды.

Правило отслеживает указатель памяти, который сначала передается в ексфрипул. Если один и тот же указатель снова передается, драйвер не сможет выполнить правило. Если драйвер вызывает ремовехеадлист или ремовинтрилист, правило проходит.

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

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

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

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

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

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

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

Ексфрипулремовинтрилистремовехеадлист