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