Описание PVS-Studio

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

  1. Диагностика 64-битных ошибок (Viva64)
  2. Диагностика параллельных ошибок (VivaMP)
  3. Диагностика общего назначения

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

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

Инструмент PVS-Studio является собственной разработкой российской компании ООО "Системы программной верификации".

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

  • интеграция с Visual Studio 2005/2008/2010;
  • online-справка на русском и английском языке;
  • документация в pdf;
  • сохранение и загрузка результатов анализа;
  • возможность запуска из командной строки;
  • работа на всех ядрах и процессорах;
  • оценка сложности 64-битной миграции кода;
  • поддержка Windows (LLP64) и Linux (LP64) моделей данных;
  • интерактивные фильтры;
  • удобная интеграция в командный процесс разработки;
  • разметка текста программы для проверки только нового кода.

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

  • Легко скачать! Вы можете скачать дистрибутив PVS-Studio, не регистрируясь и не заполняя анкет. В состав дистрибутива входит три набора правил диагностики: набор правил Viva64 для анализа 64-битных приложений, набор правил VivaMP для анализа параллельных приложений, набор правил для анализа общего назначения. Вы можете использовать PVS-Studio в течение 30-дневного периода, после чего купить.
  • Легко попробовать! Программа PVS-Studio реализована в качестве модуля расширения для Visual Studio 2005/2008/2010. Программа проста в установке и для начала работы не требует специальной настройки. В составе дистрибутива идет демонстрационный проект, в котором собраны все диагностируемые ошибки. Вы можете установить этот проект и изучить на нем работу инструмента PVS-Studio.
  • Легко купить! В отличие от других анализаторов кода, у нас простая ценовая и лицензионная политика. Мы не будем спрашивать, какой объем кода у вашего приложения или навязывать по телефону обучающие курсы. Вы определяетесь на странице заказа с тем, что вам необходимо, оплачиваете покупку и получаете по e-mail регистрационный ключ.
  • Легко получить ответ! С нашими клиентами общаются непосредственно разработчики анализатора, что позволяет быстро отвечать даже на сложные вопросы, связанные с программированием. Также на нашем сайте собрано большое количество различных ресурсов, посвященных работке качественного кода, тестированию, использованию PVS-Studio, статическому анализу кода. Они помогут найти ответы по многим вопросам разработки 64-битных программ, параллельному программированию и так далее.

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

Дополнительные материалы по PVS-Studio