Создание журнала проверки драйвера

Для отправки драйверов программа Windows Hardware Certification Program требует журнал проверки драйвера (DVL). DVL содержит сводку результатов работы инструментов статического анализа, CodeQL. DVL не содержит никаких сведений о исходном коде. Перед созданием DVL для драйвера запустите CodeQL, средство анализа кода и средство проверки статических драйверов. Дополнительные сведения см. в разделе Проверка логотипа статических средств и CodeQL и проверка логотипа статических средств.

Внимание

Из-за известной проблемы запуск теста Static Tools Logo в Windows HLK (обновление за май 2026 г.) для Windows 11 версии 25H2 приведет к появлению ошибки о том, что журнал проверки драйвера не соответствует требуемой версии. Запустите CodeQL и создайте DVL с помощью комплект разработки драйверов для Windows версии 28000.1761 как обычно, а затем примените отказ #320241 для разблокировки отправки. Эта проблема будет устранена в следующей версии HLK для Windows 11 версии 25H2.

Подготовка драйвера

  1. Перед запуском средств анализа кода создайте и свяжите драйвер с помощью последней версии комплекта драйверов Windows (WDK).
  2. Выберите Release для конфигурации решения и x64 для платформы.

Определение и запуск необходимых тестов

Чтобы определить, какие тесты требуются для версии Windows, для которой вы хотите пройти сертификацию, см. Тест на логотип для статических средств.

Выполните следующие тесты по мере необходимости.

Создание журнала проверки драйвера

  1. В меню "Драйвер" выберите "Создать журнал проверки драйвера".
  2. Убедитесь, что обнаружены файлы Code Analysis Log, Static Driver Verifier Log и CodeQL Log.
  3. Выберите Создать.

Журнал проверки драйвера имеет расширение имени файла. DVL.XML. Журнал создается в папке проекта, например, myDriverProject\myDriverName.DVL.XML.

SDV выполняет чистую пересборку драйвера, в результате которой удаляется журнал Code Analysis. Поэтому перед запуском CA обязательно запустите SDV.

Когда будете готовы протестировать драйвер с помощью Windows Hardware Lab Kit, скопируйте журнал проверки драйвера в каталог %systemdrive%\DVL на тестовом компьютере. Удалите содержимое каталога на тестовом компьютере перед копированием нового журнала проверки драйвера.

Внимание

Тайм-ауты, спейс-ауты и другие неуспешные результаты в файле DVL допустимы при подаче на сертификацию. Неуспешные результаты не приводят к сбою теста статических средств в HLK.

Использование окна командной строки Visual Studio

Вы также можете создать журнал проверки драйвера из окна командной строки Visual Studio. Используйте либо собственную командную строку средств Visual Studio, установленную вместе с Visual Studio, либо Корпоративный комплект драйверов Windows (EWDK).

msbuild.exe <vcxprojectfile> /target:dvl /p:Configuration="Release" /P:Platform=x64

Создание журнала проверки драйвера за пределами msbuild или Visual Studio

Microsoft поставляет в составе Windows Driver Kit (WDK) и Enterprise WDK (eWDK) компонент под названием dvl.exe, который можно использовать для создания журналов проверки драйверов (DVL) из командной строки. Начиная с предварительной версии WDK/eWDK версии 21342 и более поздних версий, можно создать DVL из командной строки вне контекста msbuild или Visual Studio.

Создать DVL из SARIF-файла CodeQL

  1. Найдите dvl.exe в WDK или смонтированном eWDK. Обычно он устанавливается в C:\Program Files (x86)\Windows Kits\10\Tools\dvl\dvl.exe
  2. Вызовите dvl.exe, передав флаг /manualCreate, имя драйвера, нужную архитектуру и /sarifPath. Где /sarifPath содержит путь к папке, в которой находится файл SARIF.
"C:\Program Files (x86)\Windows Kits\10\Tools\dvl\dvl.exe" /manualCreate <driverName> <driverArchitecture> /sarifPath <pathToSarifLocation>

Создайте DVL из SARIF-файла CodeQL или при использовании CA и SDV

  1. Поместите результаты, которые требуются для создания DVL, в один каталог вместе с любым файлом vcxproj. Чтобы драйверы были сертифицированы для клиентских систем Windows, этот файл представляет собой файл CodeQL SARIF. Сертификация Windows Server также может включать файлы результатов анализа кода и статического средства проверки драйверов (SDV). Ознакомьтесь с документами о требованиях WHCP, чтобы узнать, какие именно средства необходимо запускать для сертификации драйверов устройств.

  2. Поместите ФАЙЛЫ CodeQL SARIF и XML-файлы анализа кода на верхний уровень каталога. Поместите файл SDV DVL.xml в вложенную папку с именем sdv.

  3. Перейдите к каталогу верхнего уровня, который содержит файл CodeQL SARIF из командной строки.

  4. Найдите dvl.exe в WDK или смонтированном eWDK.

  5. Вызовите dvl.exe, передав флаг /manualCreate, имя драйвера и требуемую архитектуру. Например:

    Используйте одну из следующих строк для вашего driverArchitecture:

    • X86
    • X64
    • рука
    • Arm64

    Примечание.

    Не включайте ".sys" в строку driverName.

  6. Проверьте DVL, чтобы убедиться, что он был создан правильно.

Этот способ использования в основном предназначен для создания DVL на основе результатов CodeQL, но также может использоваться для результатов SDV и CA.

Примечания к выпуску

Самые актуальные сведения о средстве анализа кода, Static Driver Verifier и журнале проверки драйверов содержатся в заметках о выпуске WDK на странице загрузки Windows Driver Kit (WDK).

  • Last updated on