Входные файлы средства проверки статических драйверов

Подсистема проверки SDV принимает следующие файлы в качестве входных данных для проверки. Для всех проверок требуются только исходные файлы драйверов и файлы модели операционной системы.

• Файл проекта драйвера и исходный код. Запустите SDV в каталоге, где находится файл проекта.

• Файлы модели операционной системы. SDV выбирает и собирает файлы модели операционной системы на основе правил, которые вы выбираете для проверки.

• Обработанные файлы библиотеки. Файлы библиотек требуются только в том случае, если драйвер зависит от несистемных библиотек. Для информации и инструкций см. в разделе "Обработка библиотеки" в Статическом проверщике драйверов.

• Файл списка правил. См. команды средства проверки статических драйверов (MSBuild).

• Файл параметров проверки статического драйвера. SDV создает файл глобальных параметров, содержащий параметры, которые применяются ко всем проверкам SDV. Чтобы создать файл локальных параметров для драйвера, скопируйте файл глобальных параметров. Затем можно изменить копию файла глобальных параметров, чтобы создать локальный файл параметров для драйвера.

При оценке результатов проверки SDV очень важно проверить входные файлы, чтобы подтвердить точность и полноту всех входных файлов, которые использовались в проверке.

В этом разделе содержатся подробные описания следующих файлов:

Файл списка правил проверки статических драйверов

Файл параметров проверки статического драйвера