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

Правила соответствия DDI

В этом разделе перечислены и описаны правила соответствия требованиям интерфейса драйвера устройств Windows (DDI), которые можно использовать для проверки модели драйвера Windows (WDM), платформы драйверов в режиме ядра (KMDF), аудио (PortCls), AVStream (KS), NDIS и драйверов Storport. Правила соответствия DDI определяют требования к надлежащему взаимодействию между драйвером и интерфейсом ядра операционной системы.

правила для драйверов аудио
Правила для драйверов AVStream
правила для драйверов WDM
Правила для драйверов KMDF
правила для драйверов NDIS
Правила драйверов Storport

Это важно

Программа совместимости оборудования Windows требует применения CodeQL для тестирования с использованием статического инструмента логотипа (STL) в наших операционных системах для клиентских и серверных систем. Мы будем продолжать поддерживать поддержку SDV и ЦС на старых продуктах. Партнерам настоятельно рекомендуется ознакомиться с требованиями CodeQL к статическому тесту логотипа средства. Дополнительные сведения об использовании CodeQL см. в CodeQL и тесте логотипа статических инструментов.

Средства проверки драйвера

Средства анализа кода, средство проверки статических драйверов и средство проверки драйверов можно использовать для тестирования драйвера для соответствия правилам использования DDI. Средство проверки статических драйверов (SDV) выполняет статический анализ исходного кода драйвера, поэтому вы можете использовать SDV в начале цикла разработки. Средство проверки драйверов интегрировано с операционной системой, поэтому вы можете протестировать драйвер во время выполнения после его создания, развертывания и установки.

С помощью исходного кода драйвера средство проверки статических драйверов создает модель драйвера и операционной системы. В этой модели SDV помещает драйвер в враждебной среде и систематически тестирует пути кода через драйвер, ищет нарушения формализованного набора правил соответствия драйвера (правила проверки статических драйверов).

Начиная с Windows 8, можно настроить средство проверки драйверов для выполнения некоторых проверок соответствия установленным драйверам, включив проверку соответствия DDI.

Это важно

SDV больше не поддерживается, а SDV недоступен в выпусках Windows 24H2 WDK или EWDK. Он недоступен в версиях WDK, выпущенных позже сборки 26017, и не включен в WDK Windows 24H2 RTM. SDV по-прежнему можно использовать, скачав Windows 11, версии 22H2 EWDK (выпущенный 24 октября 2023 г.) с инструментами сборки Visual Studio 17.1.5 с скачать пакет драйверов Windows (WDK). Рекомендуется использовать только enterprise WDK для запуска SDV. Использование более старых версий стандартной WDK в сочетании с последними выпусками Visual Studio не рекомендуется, так как это, скорее всего, приведет к сбоям анализа.
В будущем CodeQL будет основным средством статического анализа драйверов. CodeQL предоставляет мощный язык запросов, который обрабатывает код как базу данных для запроса, что упрощает запись запросов для конкретных поведения, шаблонов и многого другого. Дополнительные сведения об использовании CodeQL см. в CodeQL и тесте логотипа статических инструментов.

Средство проверки драйверов

Средство проверки статических драйверов

  • Last updated on