PVS-Studio 5.00: поддержка Embarcadero C++Builder, Windows Store и Windows Phone 8 приложения в Visual Studio и несколько сотен диагностических правил


Инструмент статического анализа PVS-Studio изменил номер версии на 5.00. Почему? Потому что мы очень потрудились для этого релиза!

Прежде всего, мы разработали интеграцию PVS-Studio для Embarcadero C++Builder. Или для Embarcadero RAD Studio – мы пока сами не до конца понимаем, как правильно говорить.

Теперь пользователям C++Builder доступна вся мощь статического анализа PVS-Studio. А это, в настоящее время более 160 диагностик общего назначения. Кроме того, ведь в C++Builder XE3 Update 1 наконец-то появился 64-битный компилятор! А это значит, что более 30 диагностик миграции кода на 64-битные системы, которые давно есть в составе PVS-Studio для Visual C++, теперь актуальны и для пользователей C++Builder. Эти диагностики хорошо знакомы давним пользователям нашего анализатора еще со времен, когда он назывался Viva64. Так вот теперь этот набор правил доступен и в C++Builder.

В первом релизе PVS-Studio пятой версии поддерживаются следующие версии C++Builder: XE2, XE3, XE3 Update1 с 64-битным компилятором. В дальнейшем мы планируем поддержать еще несколько более старых версий C++Builder.

Это первый публичный релиз PVS-Studio для C++Builder, поэтому вероятно количество ошибок будет чуть выше, чем обычно у нас бывает. Мы просим простить нас за это и не стесняться писать в поддержку на support@viva64.com.

Следующим важным нововведением является поддержка Windows Phone 8 и Windows Store проектов в Visual Studio 2012. Такие проекты уже начинают появляться, и нам приятно предоставить возможность статического анализа и для них, а не только для стандартных проектов desktop-приложений. Писать про это особенно нечего, просто если у вас либо Windows Phone 8, либо Windows Store проект на C++ - запустите PVS-Studio и увидите список обнаруженных в коде проблем.

Для тех пользователей, кто не знаком с PVS-Studio, кратко перечислим основные возможности продукта. PVS-Studio это статический анализатор кода, который интегрируется в Visual C++ и C++Builder. Также поддерживается command line версия, включая MinGW-окружение. PVS-Studio содержит несколько сотен диагностический сообщений, разделенных на 4 раздела:

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

Поддерживается интеграция в следующие среды:

  • Microsoft Visual Studio: 2012, 2010, 2008, 2005.
  • Embarcadero RAD Studio: XE3 Update1, XE3, XE2.
  • MinGW.

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

Если вам нужно просто описать для коллеги, что такое PVS-Studio, то скажите так: "PVS-Studio - это статический анализатор C/C++ кода с простой лицензионной и ценовой политикой, который легко установить и использовать без необходимости развертывания сложного окружения".

Скачать и попробовать PVS-Studio можно без всяких форм и регистраций здесь.



Найдите ошибки в своем C, C++, C# и Java коде

Предлагаем попробовать проверить код вашего проекта с помощью анализатора кода PVS-Studio. Одна найденная в нём ошибка скажет вам о пользе методологии статического анализа кода больше, чем десяток статей.

goto PVS-Studio;



Найденные ошибки

Проверено проектов
346
Собрано ошибок
13 188

А ты совершаешь ошибки в коде?

Проверь с помощью
PVS-Studio

Статический анализ
кода для C, C++, C#
и Java

goto PVS-Studio;