Входные файлы средства проверки статических драйверов
Модуль проверки SDV принимает следующие файлы в качестве входных данных для проверки. Для всех проверок требуются только исходные файлы драйверов и файлы модели операционной системы.
Файл проекта драйвера и исходный код. Запустите SDV в каталоге, где находится файл проекта.
Файлы модели операционной системы. SDV выбирает и собирает файлы модели операционной системы на основе правил, которые вы выбираете для проверки.
Обработанные файлы библиотеки. Файлы библиотек требуются только в том случае, если драйвер зависит от несистемных библиотек. Дополнительные сведения и инструкции см. в разделе Обработка библиотек в статической проверке драйверов.
Файл списка правил. См. статью Команды средства проверки статических драйверов (MSBuild).
Файл параметров средства проверки статических драйверов. SDV создает глобальный файл параметров, содержащий параметры, которые применяются ко всем проверкам SDV. Чтобы создать локальный файл параметров для драйвера, скопируйте глобальный файл параметров. Затем можно изменить копию глобального файла параметров, чтобы создать локальный файл параметров для драйвера.
При оценке результатов проверки SDV очень важно изучить входные файлы, чтобы подтвердить точность и полноту всех входных файлов, которые использовались при проверке.
Этот раздел содержит подробное описание следующих файлов: