Сообщения об ошибках средства проверки статических драйверов

В этом разделе объясняется значение некоторых наиболее часто встречающихся сообщений об ошибках SDV и предлагает методы их разрешения.

При запуске SDV из Visual Studio могут возникнуть следующие ошибки:

• SDV работает только в конфигурациях, отличных от отладки: как говорится в сообщении, SDV должен выполняться в конфигурации, отличной от отладки. Убедитесь, что ваш проект настроен на конфигурацию 'Release', или создайте её, если такой нет, и повторно запустите SDV.
• Произошла ошибка при загрузке доступных правил: SDV либо не может найти правила для модели драйвера, либо правильно определить модель драйвера (гораздо более вероятно, если драйвер не является WDM, KMDF, NDIS или storport driver). Если WDK правильно установлен, вы можете обойти эту ошибку, выполнив SDV из командной строки напрямую (см. команды средства проверки статических драйверов (MSBuild)).
• SDV не удалось очистить каталог драйверов. В некоторых случаях ошибки разрешений могут препятствовать правильной очистке старых результатов sdV из каталога драйверов при нажатии кнопки "Очистить". Эта ошибка также возникает, если файлы SDV из предыдущих запусков в настоящее время используются. Убедитесь, что файлы SDV в каталоге драйверов не используются, а затем удалите все папки sdv и sdv.temp и любые файлы staticdv.job.

Если SDV завершается сбоем при попытке анализа, он выведет на стандартный вывод этап, на котором произошел сбой. При запуске SDV из графического интерфейса Visual Studio эти выходные данные можно просмотреть, перейдя на вкладку "Оповещения".

Этапы, на которых может произойти сбой SDV:

• NormalBuild: SDV не удалось создать драйвер с помощью стандартных команд MSBuild. Это может произойти, если у вас есть специализированная логика сборки, зависимая от элементов решения в файле проекта или внешних компонентов сборки. Если проект использует свойство $(SolutionDir), вы можете предоставить эту переменную напрямую, повторно выполнив SDV из командной строки и добавив ее в командную строку, добавив /p:SolutionDir=[ваш каталог решения] в конец команды MSBuild. См. команды средства проверки статических драйверов (MSBuild).
• InterceptedBuild: SDV не удалось создать драйвер для анализа.
• Проверка: SDV не удалось найти точки входа драйвера. Ошибка здесь может указывать на отсутствие точек входа, и вам следует обновить типы ролей функций или файл sdv-map.h. Дополнительные сведения см. в разделе "Использование объявлений типов ролей функции" и "Утверждение файла sdv-map.h".
• FinalCompile: SDV не удалось скомпилировать ваш драйвер с моделью правил и моделью ОС.
• CheckRule: SDV не удалось правильно проверить правило.

Вы можете узнать больше об ошибке, включив диагностику для SDV. Обратитесь к диагностике средства проверки статических драйверов для получения подробной информации.