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

  • Статья

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

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

Внимание

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

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