Описание PVS-Studio

PVS-Studio - статический анализатор, выявляющий ошибки в исходном коде приложений на языке C/C++/C++11. Можно выделить следующие наборы правил, включенных в состав PVS-Studio:

Подробнее с каждым из типов диагностики можно ознакомиться на соответствующих страницах.

Используемая методология статического анализа кода имеет существенные преимущества над другими видами анализа, так как позволяет охватить весь программный код. Процедура проверки кода не может как-либо повредить сам код. Процесс анализа полностью контролируется человеком, и именно он принимает решения о необходимости его модификации.

Посмотрите или скачайте презентацию про PVS-Studio.

Интеграция с Microsoft Visual Studio

Инструмент PVS-Studio предназначен для разработчиков современных приложений и интегрируется в среду Visual Studio 2013, 2012, 2010, 2008, 2005. При этом предоставляется удобный пользовательский интерфейс для анализа файлов, навигации по коду, получения справочной информации. Работа с анализатором не требует предварительного изучения документации и настройки. Анализатор готов к работе сразу же после инсталляции.

Особенности PVS-Studio

  • интеграция с Visual Studio 2013, 2012, 2010, 2008, 2005;
  • инкрементальный анализ - автоматизация запуска анализатора сразу же после компиляции на машине разработчика;
  • online-справка на русском и английском языке;
  • документация в pdf;
  • сохранение и загрузка результатов анализа;
  • возможность запуска из командной строки;
  • работа на всех ядрах и процессорах;
  • оценка сложности 64-битной миграции кода;
  • интерактивные фильтры;
  • удобная интеграция в командный процесс разработки;
  • разметка текста программы для проверки только нового кода.

Преимущества PVS-Studio

  • Легко скачать! Вы можете скачать дистрибутив PVS-Studio, не регистрируясь и не заполняя анкет.
  • Легко попробовать! Программа PVS-Studio реализована в качестве модуля расширения для Visual Studio. Программа проста в установке и для начала работы не требует специальной настройки.
  • Легко купить! В отличие от других анализаторов кода, у нас простая ценовая и лицензионная политика. Мы не будем спрашивать, какой объем кода у вашего приложения или навязывать по телефону обучающие курсы. Вы определяетесь на странице заказа с тем, что вам необходимо, оплачиваете покупку и получаете по e-mail регистрационный ключ.
  • Легко получить ответ! С нашими клиентами общаются непосредственно разработчики анализатора, что позволяет быстро отвечать даже на сложные вопросы, связанные с программированием.

Поддерживаемые языки и диалекты

Visual Studio 2013 C, C++, C++11, C++/CLI, C++/CX (WinRT)
Visual Studio 2012 C, C++, C++11, C++/CLI, C++/CX (WinRT)
Visual Studio 2010 C, C++, C++/CLI, C++0x
Visual Studio 2008 C, C++, C++/CLI
Visual Studio 2005 C, C++, C++/CLI
MinGW C, C++, C++11

PVS-Studio работает только под управлением операционной системы Windows. Если вы хотите использовать статический анализ в среде Linux, то мы предлагаем попробовать инструмент Cppcheck: описание Cppcheck, страница инструмента.

Читайте про ошибки, найденные в известных проектах с помощью PVS-Studio

Посмотрите сравнение PVS-Studio с некоторыми другими инструментами