Описание тега pvs-studio
PVS-Studio выполняет статический анализ кода и формирует отчет, который помогает программисту находить и исправлять ошибки. PVS-Studio выполняет широкий спектр проверок кода, также он полезен для поиска опечаток и ошибок Copy-Paste. Примеры таких ошибок: V501, V517, V522, V523, V3001.
Основная ценность статического анализа заключается в его регулярном использовании, так что ошибки выявляются и исправляются на самых ранних этапах. Нет смысла тратить 50 часов на поиск ошибки, которую можно найти с помощью статического анализа. Итак, давайте еще раз подчеркнем, что основная идея статического анализа не в том, чтобы найти одну скрытую ошибку за день до релиза, а в том, чтобы исправлять десятки ошибок день за днем.
Анализатор может запускаться на сервере ночью и предупреждать о подозрительных фрагментах кода. В идеале эти ошибки можно обнаружить и исправить еще до того, как попасть в репозиторий. PVS-Studio может автоматически запускаться сразу после компилятора только что измененных файлов. Работает в среде Windows, Linux и macOS.
Быстрый старт
PVS-Studio может интегрироваться в среду разработки Visual Studio 2010-2017. Если вы используете эту IDE, то, скорее всего, вам достаточно будет зайти в меню плагина PVS-Studio и выбрать "Проверить текущий проект".
Часто это может быть более сложный процесс, и вам нужно будет интегрировать PVS-Studio в систему сборки, даже экзотическую. Тема интеграции слишком широка, чтобы описывать ее здесь. Вы можете найти всю информацию в подробной документации.
Еще одно замечание - в PVS-Studio для Windows и Linux есть специальные утилиты, собирающие информацию о запуске компилятора. Эти инструменты позволяют быстро проанализировать проект, который компилируется любым возможным способом. Вы можете быстро опробовать возможности анализатора, не тратя время на его интеграцию с make-файлом или скриптом сборки. Смотрите описание утилиты Standalone (Windows) и pvs-studio-analyzer (Linux / macOS).
Официальная платформа вопросов и ответов для бесплатной версии PVS-Studio
Как описано в этом посте, PVS-Studio использует Stackru (сpvs-studiotag) как официальную платформу вопросов и ответов для пользователей бесплатной версии PVS-Studio. Конечно, обычные правила Stackru по- прежнему применяются. Отчеты об ошибках и запросы функций не относятся к теме здесь, в stackru.
Поддерживаемые языки и компиляторы
- Windows. Visual Studio 2010-2017 C, C++, C++ / CLI, C++ / CX (WinRT), C#
- Windows. Встроенная рабочая среда IAR, компилятор C/C++ для ARM C, C++
- Windows / Linux. Keil µVision, DS-MDK, компилятор ARM 5/6 C, C++
- Windows / Linux. Студия композитора кода Texas Instruments, Инструменты для создания кода ARM C, C++
- Windows / Linux / macOS. GNU Arm Embedded Toolchain, встроенный компилятор Arm GCC, C, C++
- Windows / Linux / macOS. Clang C, C++
- Linux / macOS. GCC C, C++
- Windows. MinGW C, C++
- Windows / Linux / macOS. Джава
Дополнительные ссылки: