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

Средства анализа кода и проверки могут повысить стабильность и надежность драйвера, систематически анализируя исходный код. Средства анализа кода и проверки могут обнаруживать ошибки, пропущенные компилятором и обычным тестированием среды выполнения. Кроме того, они могут определить, правильно ли драйвер взаимодействует с ядром операционной системы 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 для драйверов (PFD). PREfast для драйверов также был интегрирован в среду сборки WDK в рамках проверки кода Майкрософт (OACR).

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

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

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

См. сведения о Средстве проверки статических драйверов в следующем разделе.

• Обзор: Статическая проверка драйверов
• Практическое руководство. Использование средства проверки статических драйверов для поиска дефектов в драйверах