Интерпретация результатов проверки статических драйверов
При запуске средства проверки статических драйверов из Visual Studio и выполнения анализа драйвера результаты отображаются на вкладке "Результаты ".
Статистика
Точки входа сообщают о количестве точек входа, найденных в исходном коде драйвера. Точки входа — это предоставляемые драйвером процедуры обратного вызова или отправки. Вы определяете точки входа с помощью объявлений типов ролей функции. Чтобы выполнить анализ, SDV должен найти по крайней мере одну точку входа. Дополнительные сведения см. в разделе "Использование объявлений типов ролей функции".
Дефекты обнаружили отчеты о количестве дефектов, обнаруженных во время анализа. Дефект является нарушением правила соответствия DDI.
Тесты выполнили отчеты о количестве правил, которые были протестированы во время анализа. Это правила, которые вы выбираете на вкладке "Правила ".
Статус
Сообщает о состоянии анализа. По завершении можно просмотреть результаты поиска.
Результаты
Завершено (правило)
SDV протестировал драйвер для нарушения правила, но он не смог доказать нарушение правила.
Этот результат не означает, что драйвер является бесплатным. Это означает, что только SDV не удалось доказать, что оно нарушило правило в прохождении проверки.
Дефект
Если SDV сообщил один или несколько дефектов, щелкните ссылку "Дефект ", чтобы использовать отчет средства проверки статического драйвера для просмотра трассировки ошибки.
Неприменимо
SDV тестировал драйвер для нарушения правила, но драйвер не поддерживал точку входа, необходимую для анализа, или драйвер не вызывал функцию, которая отслеживает правило.
Если правило отслеживает определенный аргумент в вызове функции (как правило, указатель на ресурс) и драйвер не вызывает функцию или не ссылается на этот аргумент, правило не применяется к драйверу.
Если драйвер указывает точки входа и вызывает функции, отслеживаемые правилом, этот результат может указать, что SDV не нашли или неправильно интерпретировали точку входа. Чтобы убедиться, что эта ситуация произошла, проверьте и, при необходимости, исправьте файл Sdv-map.h . Дополнительные сведения об этой процедуре см. в разделе "Сканирование драйвера".
Дополнительные сведения о каждом правиле см. в справочнике по правилам проверки статических драйверов.
Для дальнейшего изучения драйвера выполните проверку с помощью различных правил.
Время ожидания
SDV перестал проверять правило, так как оно превысило ограничение времени для проверки каждого правила. Ограничение времени устанавливается в файле параметров средства проверки статического драйвера или в поле "Максимальное время" на вкладке "Конфигурация ".
Время ожидания считается неуклюзивным результатом. Он не указывает на ошибку драйвера. Если SDV сообщает время ожидания, продлить время, разрешенное для проверки ( значение SDV_SlamConfig_Timeout в sdv-default.xmlfile) и снова запустите проверку.
Завершено (свойство)
SDV запустил правило свойства драйвера для указанного драйвера. Правило свойства драйвера проверка для возможностей драйвера или поддерживаемых функций и является прелюдией для дальнейшего анализа. Например, правило свойства драйвера, CancelRoutine, проверка, чтобы узнать, зарегистрирован ли драйвер WDM подпрограмму Отмены. Если подпрограмма отмены не обнаружена, определенные правила WDM не применяются. Это означает, что свойство драйвера не удовлетворено.
Удовлетворено (свойство)
SDV запустил правило свойства драйвера для указанного драйвера. Правило свойства драйвера проверка для возможностей драйвера или поддерживаемых функций и является прелюдией для дальнейшего анализа. Например, правило свойства драйвера, CancelRoutine, проверка, чтобы узнать, зарегистрирован ли драйвер WDM подпрограмму Отмены. Если обнаружена подпрограмма отмены , применяются определенные правила WDM. Это означает, что свойство драйвера было удовлетворено
Пробелы
Количество правил, которые SDV перестала проверять, так как превышено ограничение памяти для проверки правила. Ограничение памяти задается в файле параметров средства проверки статического драйвера sdv-default.xml.
Пробел считается неуклюзивным результатом. Если SDV сообщает о пробеле, расширьте пространство, выделенное для проверки ( значение SDV_SlamConfig_Spaceout в файле sdv-default.xml ) и снова запустите проверку.
Другое
Количество случаев, когда SDV столкнулась с внутренней ошибкой, из которой она не могла восстановиться. Дополнительные сведения об ошибках и отладке см. на странице сообщений об ошибках и отладке статического драйвера.