Средства проверки драйверов
Комплект драйверов Windows (WDK) включает несколько очень комплексных средств, которые помогают обнаруживать и исправлять ошибки в коде драйвера во время процесса разработки. Многие из этих средств можно использовать очень рано в процессе разработки, где они наиболее важны и могут сэкономить больше всего времени и усилий.
Эти средства проверки описаны в документации по WDK и рекомендуется использовать, так как каждое средство обнаруживает различные типы ошибок драйвера разными способами. Эти средства гораздо эффективнее ручной проверки. Эти средства могут обнаруживать ошибки, которые обычно не найдены в стандартных тестах драйверов, и они воплощают опыт разработчиков опытных драйверов и конструкторов интерфейсов драйверов Windows.
Для получения наилучших результатов используйте все средства, которые могут выполняться на вашем драйвере. Если вы опустите любой из этих средств, вы можете пропустить серьезную ошибку в драйвере.
Внимание
Программа совместимости оборудования Windows требует проверки CodeQL для статических проверок логотипа средства (STL) на наших клиентских и серверных операционных системах. Мы будем продолжать поддерживать поддержку SDV и ЦС на старых продуктах. Партнерам настоятельно рекомендуется ознакомиться с требованиями CodeQL к статическому тесту логотипа средства. Дополнительные сведения об использовании CodeQL см. в разделе CodeQL и проверка логотипа статических инструментов.
Этот раздел начинается с краткого обсуждения характеристик средств проверки кода и опроса средств, включенных в WDK и в Windows или доступных от Корпорации Майкрософт.
В этом разделе:
Статические и динамические средства проверки
CodeQL и проверка логотипа статических средств
Другие средства
Если у вас есть доступ к другим средствам проверки кода или драйвера (из других источников), мы рекомендуем использовать их в дополнение к средствам в WDK. Не забудьте использовать такие средства, как средство проверки драйверов и санитизатор адресов ядра из-за их конкретных знаний о драйверах Windows, но каждое средство смотрит на код различными способами и может помочь вам найти и устранить различные типы проблем.