Описание PVS-Studio

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

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

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

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

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

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

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

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

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

Visual Studio 2013 C, C++, C++11, C++/CX (WinRT)
Visual Studio 2012 C, C++, C++11, C++/CX (WinRT)
Visual Studio 2010 C, C++, C++0x
Visual Studio 2008 C, C++
Visual Studio 2005 C, C++
Embarcadero RAD Studio XE5 C, C++, C++11, в том числе 64-битный компилятор
Embarcadero RAD Studio XE4 C, C++, C++11, в том числе 64-битный компилятор
Embarcadero RAD Studio XE3 Update 1 C, C++, C++11, в том числе 64-битный компилятор
Embarcadero RAD Studio XE2 C, C++, C++0x
Embarcadero RAD Studio XE C, C++
Embarcadero RAD Studio 2010 C, C++
Embarcadero RAD Studio 2009 C, C++
MinGW C, C++, C++11

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

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

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