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

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

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

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

• Общие сведения об анализе кода для драйверов
• Выполнение анализа кода для драйверов
• Заметки SAL 2 для драйверов Windows
• Предупреждения функции анализа кода для драйверов