Анализ кода для драйверов
Анализ кода для драйверов — это средство статической проверки во время компиляции, которое обнаруживает основные ошибки программирования в программах 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 и проверка логотипа статических инструментов.