Обработка библиотеки в системе проверки статических драйверов

Многие драйверы зависят от динамически и статически связанных библиотек функций. Как правило, библиотеки включают общие функции обработки, но в некоторых ситуациях они включают функции, которые являются неотъемлемой частью драйвера.

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

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

SDV пытается автоматически обнаруживать и обрабатывать все библиотеки, от которых зависит драйвер, но поскольку он не знает расположение некоторых исходных файлов библиотеки, он не может автоматически обрабатывать эти библиотеки и включать их в проверку драйвера. Чтобы обеспечить наиболее точный анализ для вашего драйвера, необходимо вручную добавить все библиотеки, используемые вашим драйвером, в кэш библиотек SDV, щелкнув на вкладке "Библиотеки" и выбрав "Добавить библиотеку" для их обработки. Если вы работаете в командной строке, вы можете добавить библиотеку, выполнив sdv с помощью команды /lib для проекта библиотеки.

После обработки библиотеки SDV она сохраняет свои файлы обработки для этой библиотеки и автоматически включает код библиотеки в проверки всех драйверов, требующих библиотеки. Вам не нужно повторно обрабатывать библиотеку, если код библиотеки не изменится. Инструкции по повторной обработке библиотеки см. в разделе "Повторная обработка библиотеки".

В этом разделе приведено следующее:

Обработка библиотеки

Повторная обработка библиотеки

Комментарии

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