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


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

Программа сертификации оборудования Windows требует журнал проверки драйвера (DVL) для отправки драйверов. DVL содержит сводку результатов из статических средств анализа CodeQL. DVL не содержит никаких сведений о исходном коде. Перед созданием DVL для драйвера запустите CodeQL, средство анализа кода и средство проверки статических драйверов. Дополнительные сведения см. в разделе "Статические средства" и "КодQL" и "Статические средства"

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

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

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

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

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

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

  1. В меню "Драйвер" выберите "Создать журнал проверки драйвера".
  2. Убедитесь, что обнаружены журнал анализа кода, журнал проверки статических драйверов и файлы журнала CodeQL.
  3. Нажмите кнопку создания.

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

SDV выполняет чистую перестроение драйвера, который удаляет журнал анализа кода. Таким образом, перед запуском ЦС обязательно запустите SDV.

Когда вы будете готовы протестировать драйвер с помощью комплекта лабораторий оборудования Windows, скопируйте журнал проверки драйвера в каталог %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

Корпорация Майкрософт поставляется в составе комплекта драйверов Windows (WDK) и Enterprise WDK (eWDK) компонента с именем dvl.exe который можно использовать для создания журналов проверки драйверов (DVLS) с помощью командной строки. Начиная с предварительной версии 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 или при использовании ЦС и 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
    • Arm
    • Arm64

    Примечание.

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

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

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

Заметки о выпуске

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