Набор правил использования DDI (Storport)

Используйте эти правила, чтобы убедиться, что драйвер правильно использует DDIs Storport.

В этом разделе

Тема Описание

HwStorPortProhibitedDDIs

Это правило содержит список DDIS WDM (за исключением заблокированных функций), которые не должны вызываться в физических драйверах минипорта StorPort.

NullCheck

Правило NULLCheck проверяет, что значение NULL в коде драйвера не разыменовывается впоследствии в драйвере. Это правило сообщает о дефекте, если одно из этих условий истинно.

  • Происходит присваивание значения NULL, которое разыменовывается позже.
  • В драйвере есть глобальный или передаваемый параметр процедуры, который может принимать значение NULL и используется позже; там есть явная проверка, которая предполагает, что начальное значение указателя может быть NULL.

При нарушениях правил NullCheck наиболее релевантные операторы кода выделены в области дерева трассировки. Дополнительные сведения о работе с выходными данными отчета см. в отчете средства проверки статических драйверов и понимании средства просмотра трассировки.

StorPortDDIsPortOnly

Это правило содержит список DDis, доступных только для порта StorPort (за исключением межблокированных функций), которые не должны вызываться в мини-портах StorPort.

StorPortDeprecated

Это правило проверяет, что драйвер не вызывает ни один из этих устаревших подпрограмм: StorPortValidateRange или StorPortLogError.

Выбор набора правил использования DDI

  1. Выберите проект драйвера (.vcxProj) в Microsoft Visual Studio. В меню драйвера щелкните Запустить средство проверки статических драйверов....

  2. Перейдите на вкладку "Правила ". В разделе "Наборы правил" выберите DDIUsage.

    Чтобы выбрать набор правил по умолчанию в окне командной строки разработчика Visual Studio, укажите DDIUsage.sdv с параметром /check . Рассмотрим пример.

    msbuild /t:sdv /p:Inputs="/check:DDIUsage.sdv" mydriver.VcxProj /p:Configuration="Win8 Release" /p:Platform=Win32

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

  • Last updated on