Анализ кода для драйверов

Анализ кода для драйверов — это средство статической проверки во время компиляции, которое обнаруживает основные ошибки программирования в программах C и C++ и включает специализированный модуль, предназначенный для обнаружения ошибок в коде драйвера в режиме ядра (в основном).

В предыдущих версиях WDK модуль, предназначенный для анализа кода, был частью автономного средства PREfast для драйверов (PFD). PREfast для драйверов также был интегрирован в среду сборки WDK в рамках проверки кода Майкрософт (OACR). Начиная с комплекта драйверов Windows (WDK) 8, функции, относящиеся к драйверу, были интегрированы с анализом качества приложений с помощью средств анализа кода.

Это важно

Программа совместимости оборудования Windows требует применения CodeQL для тестирования с использованием статического инструмента логотипа (STL) в наших операционных системах для клиентских и серверных систем. Мы будем продолжать поддерживать поддержку SDV и ЦС на старых продуктах. Партнерам настоятельно рекомендуется ознакомиться с требованиями CodeQL к статическому тесту логотипа средства. Дополнительные сведения об использовании CodeQL см. в CodeQL и тесте логотипа статических инструментов.

В этом разделе

• Обзор анализа кода для драйверов
• Запуск анализа кода для драйверов
• Аннотации SAL 2 для драйверов Windows
• анализ кода в предупреждениях драйверов

Это важно

Анализ кода для драйверов доступен в Windows 24H2 WDK и EWDK, но обратите внимание, что в будущем он будет выведен из эксплуатации.
В будущем CodeQL будет основным средством статического анализа драйверов. CodeQL предоставляет мощный язык запросов, который обрабатывает код как базу данных для запроса, что упрощает запись запросов для конкретных поведения, шаблонов и многого другого. Дополнительные сведения об использовании CodeQL см. в CodeQL и тесте логотипа статических инструментов.