Создание журнала проверки драйвера
Программа сертификации оборудования Windows требует журнал проверки драйвера (DVL) для отправки драйверов. DVL содержит сводку результатов из статических средств анализа CodeQL. DVL не содержит никаких сведений о исходном коде. Перед созданием DVL для драйвера запустите CodeQL, средство анализа кода и средство проверки статических драйверов. Дополнительные сведения см. в разделе "Статические средства" и "КодQL" и "Статические средства"
Подготовка драйвера
- Перед запуском средств анализа кода создайте и свяжите драйвер с помощью последней версии комплекта драйверов Windows (WDK).
- Выберите "Выпуск " для конфигурации решения и x64 для платформы решения.
Определение и запуск необходимых тестов
Чтобы определить, какие тесты требуются для версии Windows, для которой вы хотите сертифицировать, см. в разделе "Тестирование логотипов статических инструментов".
Выполните следующие тесты по мере необходимости.
Запустите CodeQL. Обнаруженные дефекты адреса и исправления. Сертификация завершается ошибкой, если дефекты, которые считаются "Must-Fix", не исправляются. Дополнительные сведения о CodeQL и проверке логотипа статических инструментов см. в разделе CodeQL и тест на логотип статических инструментов.
Запустите средство проверки статических драйверов. Сведения о создании файла журнала см. в статье "Создание файла журнала для средства проверки статических драйверов" и "Использование средства проверки статических драйверов" для поиска дефектов в драйверах.
Запустите средство анализа кода для драйверов. Адрес и исправление обнаруженных дефектов. Сведения о создании файла журнала для средства анализа кода и выполнении анализа кода для драйверов. Дополнительные сведения об анализе кода см. в статье "Анализ качества приложений с помощью средств анализа кода".
Создание журнала проверки драйвера
- В меню "Драйвер" выберите "Создать журнал проверки драйвера".
- Убедитесь, что обнаружены журнал анализа кода, журнал проверки статических драйверов и файлы журнала CodeQL.
- Нажмите кнопку создания.
Журнал проверки драйвера имеет расширение имени файла. 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
- Найдите dvl.exe из WDK или подключенного eWDK. Обычно он устанавливается в C:\Program Files (x86)\Windows Kits\10\Tools\dvl\dvl.exe
- Вызов 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
Поместите результаты, которые необходимо использовать для создания DVL в одном каталоге, а также любого файла vcxproj. Чтобы драйверы были сертифицированы для клиента Windows, этот файл является файлом CodeQL SARIF. Сертификация Windows Server также может включать файлы результатов анализа кода и статического средства проверки драйверов (SDV). Ознакомьтесь с документами о требованиях WHCP для получения конкретных сведений о том, какие средства должны выполняться для сертификации драйверов устройств.
Поместите ФАЙЛЫ CodeQL SARIF и XML-файлы анализа кода на верхний уровень каталога. Поместите файл SDV DVL.xml в вложенную папку с именем sdv.
Перейдите к каталогу верхнего уровня, который содержит файл CodeQL SARIF из командной строки.
Найдите dvl.exe из WDK или подключенного eWDK.
Вызов dvl.exe путем передачи флага
/manualCreate
, имени драйвера и требуемой архитектуры. Например:Используйте одну из следующих строк для driverArchitecture:
- X86
- X64
- Arm
- Arm64
Примечание.
Не включайте ".sys" в строку driverName .
Проверьте DVL, чтобы убедиться, что он был создан правильно.
Это использование в основном предназначено для создания DVLs с результатами CodeQL, но также может использоваться для результатов SDV и ЦС.
Заметки о выпуске
Самые актуальные сведения о средстве анализа кода, средстве проверки статических драйверов и журнале проверки драйверов находятся на странице загрузки пакета драйверов Windows (WDK) в заметках о выпуске WDK.
См. также
- Создание файла журнала для средства проверки статического драйвера
- Создание файла журнала для средства анализа кода
- Программа сертификации оборудования
- Анализ качества драйвера с помощью средств анализа кода
- Запуск анализа кода для драйверов
- Использование средства проверки статических драйверов для поиска дефектов в драйверах
- CodeQL и проверка логотипа статических средств