Знакомство со статическим анализатором PVS-Studio для Visual C#




PVS-Studio - это инструмент для выявления ошибок и потенциальных уязвимостей в исходном коде программ на языках C, C++, C# и Java. Может работать на операционных системах Windows, Linux и macOS.

Picture 4

Для работы с Visual C# анализатор интегрируется в Visual Studio в качестве плагина. Это позволяет использовать интерфейс Visual Studio для настройки анализатора, быстрой удобной проверки отдельных файлов, проектов и решений, а также для работы с отчетом PVS-Studio.

Аппаратные требования для работы анализатора в данном режиме соответствуют требованиям той версии среды разработки Visual Studio, которую вы используете.

Инсталлятор PVS-Studio доступен для скачивания по ссылке. На странице загрузки также представлены различные варианты использования, включая триальный режим. Информация о лицензировании приведена в инструкции по покупке.

Для установки плагина запустите инсталлятор PVS-Studio и выберите нужные версии Visual Studio:

Picture 1

После окончания установки анализатор сразу готов к работе.

Запустите Visual Studio, откройте свой проект и воспользуйтесь пунктом главного меню "Extensions" и подменю "PVS-Studio" (для версий Visual Studio до 2019 пункт меню "PVS-Studio" расположен непосредственно в главном меню).

Открывшееся контекстное меню содержит все доступные возможности плагина.

Для проверки всего решения зайдите в подменю "Check" и выберите "Solution". Начнется подготовка к проверке:

Picture 2

И собственно проверка:

Picture 3

Уже в процессе работы анализатора, до окончания проверки решения, отчет (окно PVS-Studio) начнет заполняться найденными предупреждениями. Вы можете сразу же начать изучение кода, для которого выданы эти предупреждения. Двойной клик мыши по предупреждению откроет фрагмент кода в редакторе Visual Studio, подозрительные строки будут подсвечены:

Picture 6

Клик по ссылке с номером предупреждения (например, V3095) в окне PVS-Studio позволит ознакомиться с документацией по диагностике и подскажет возможные пути исправления.

Вы можете сохранить результаты проверки и вернуться к их изучению позже. Для этого воспользуйтесь меню "Extensions" и подменю "PVS-Studio" -> "Open/Save" -> "Save Analysis Report" (для версий Visual Studio до 2019 пункт меню "PVS-Studio" расположен непосредственно в главном меню).

Мы непрерывно работаем над улучшением характеристик C#-анализатора. Одним из последних нововведений стала поддержка Nullable Reference типов для стандарта языка C# 8.0.

Более подробно возможности плагина PVS-Studio для Windows рассмотрены в статье "Знакомство со статическим анализатором кода PVS-Studio на Windows".

Для проверки проектов и решений Visual C# вы также можете использовать утилиты командной строки. Статья "Проверка Visual Studio проектов из командной строки с помощью PVS-Studio" содержит исчерпывающую информацию о данном режиме работы.

Наконец, об экспертных возможностях анализатора вы можете узнать из статьи "PVS-Studio и Continuous Integration".

Попробуйте статический анализатор кода PVS-Studio, очистите свой код от ошибок!



Найдите ошибки в своем C, C++, C# и Java коде

Предлагаем попробовать проверить код вашего проекта с помощью анализатора кода PVS-Studio. Одна найденная в нём ошибка скажет вам о пользе методологии статического анализа кода больше, чем десяток статей.

goto PVS-Studio;


Найденные ошибки

Проверено проектов
361
Собрано ошибок
13 417

А ты совершаешь ошибки в коде?

Проверь с помощью
PVS-Studio

Статический анализ
кода для C, C++, C#
и Java

goto PVS-Studio;