Использование SDV и примеров драйверов

Чтобы приступить к работе со средством проверки статических драйверов (SDV), можно запустить средство на примерах SDV-FailDriver. Примеры драйверов содержат преднамеренные ошибки кода, которые предназначены для отображения возможностей и функций SDV. Эти примеры драйверов не являются функциональными и не предназначены в качестве примеров для реальных проектов разработки драйверов. Примеры драйверов SDV-FailDriver доступны в репозитории примеров драйверов Windows на GitHub.

• SDV-FailDriver-KMDF
• SDV-FailDriver-WDM
• SDV-FailDriver-NDIS
• SDV-FailDriver-STORPORT

Внимание

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 и проверка логотипа статических инструментов.