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

Можно выделить 3 набора правил, включенных в состав PVS-Studio:

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

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

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

Страничка: www.viva64.com
Интерфейс: английский
Система: Windows XP / Vista / Seven