Описание PVS-Studio

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

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

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

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

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

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

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

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