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

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

  • Статья

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

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

Раздел Описание

HwStorPortProhibitedDIs

Это правило содержит список WDM DDIs (за исключением заблокированных функций), которые не должны вызываться в физических драйверах минипорта 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 с параметром /проверка. Пример:

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

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