Анализ драйвера с помощью средств анализа и проверки кода

Средства анализа и проверки кода помогают повысить стабильность и надежность драйвера путем систематического анализа исходного кода. Средства анализа и проверки кода могут обнаруживать ошибки, пропущенные компилятором и обычным тестированием среды выполнения. Кроме того, они могут определить, правильно ли взаимодействует драйвер с ядром операционной системы Windows. С помощью Microsoft Visual Studio и комплекта драйверов Windows (WDK) можно настроить средства анализа и проверки кода для выполнения в процессе сборки или запланировать анализ драйвера в заранее определенное время.

Средство анализа кода C/C++ для драйверов Windows

В Windows 8 выпуске WDK реализованы усовершенствования средства анализа кода C/C++, входящего в состав Visual Studio. В частности, WDK предоставляет специализированный модуль драйвера, предназначенный для обнаружения ошибок в коде драйвера в режиме ядра. Этот модуль драйвера интегрирован в средство анализа кода C/C++.

Когда следует использовать: Средство анализа кода C/C++ для драйверов можно запустить на ранних этапах цикла разработки, как только код будет правильно скомпилирован.

Дополнительные сведения о средстве анализа кода в Visual Studio см. в следующих разделах:

• Анализ качества приложений с помощью анализа кода
• Анализ кода для драйверов
• Выполнение анализа кода для драйверов
• Использование аннотаций SAL для сокращения количества дефектов в коде C/C++
• Заметки SAL 2.0 для драйверов Windows

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

Средство проверки статических драйверов

Средство статической проверки (SDV) — это средство статической проверки, которое систематически анализирует исходный код в работающих в режиме ядра драйверах Windows. SDV определяет, правильно ли драйвер взаимодействует с ядром операционной системы Windows. SDV можно запустить из меню Драйвер в Visual Studio или из окна командной строки Visual Studio .

Когда следует использовать: Запустите средство проверки статических драйверов на ранних этапах цикла разработки для драйверов, которые компилируются правильно. Прежде чем начать цикл тестирования, запустите static driver Verifier.

Дополнительные сведения о службе проверки статических драйверов см. в разделе:

• Обзор: средство проверки статических драйверов
• Практическое руководство . Поиск дефектов в драйверах с помощью средства проверки статических драйверов