Готова новая версия анализатора PVS-Studio 4.00 BETA

24 Ноя 2010

Автор: Андрей Карпов

Краткая информация о продукте и версии PVS-Studio 4.00
Подробная информация о нововведениях в PVS-Studio 4.00

Сообщаем о выходе новой версии статического анализатора кода PVS-Studio 4.00, предназначенного теперь не только для разработчиков 64-битных и параллельных приложений, но и для более широкой аудитории программистов. Так мы говорим из-за того, что в новой версии появился БЕСПЛАТНЫЙ анализатор общего назначения. Анализ параллельных приложений теперь также бесплатный, платным является только анализ 64-битного кода. Это изменения в лицензионной политике. Кроме того, разработано новое окно для выдачи диагностических сообщений (ставшее значительно более удобным) и существенно повышена скорость работы.

Краткая информация о продукте и версии PVS-Studio 4.00

Начиная с версии 4.00, в состав PVS-Studio входят три набора правил:

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

Анализатор работает с кодом программ на языках Си и Си++.

PVS-Studio поставляется как модуль расширения для среды разработки Microsoft Visual Studio 2005/2008/2010.

Из трех имеющихся в PVS-Studio наборов правил (64 бита, OpenMP, общий анализ) только поиск 64-битных проблем является платным решением (доступна 30-дневная ознакомительная версия, показывающая не все найденные проблемы). Остальные два набора правил – проблемы OpenMP и общий анализ – являются бесплатными.

Скачать PVS-Studio можно здесь: https://pvs-studio.com/ru/pvs-studio/download/

Подробная информация о нововведениях в PVS-Studio 4.00

Новый набор правил статического анализа общего назначения

Мы разработали и реализовали новый набор правил статического анализа общего назначения. На момент выпуска версии 4.00 это более сорока правил, которые позволят найти проблемы в коде самого широкого профиля.

Начиная разрабатывать анализатор общего назначения, мы не ставили своей целью скопировать правила из существующих инструментов. Скорее наоборот, мы сконцентрировались на новых современных правилах, часть из которых являются полностью нашими идеями. Мы сознательно не стали реализовывать старинные диагностики, которые есть в любом подобном инструменте с 10-летней историей. Только новые и актуальные правила попадают в наш инструмент.

Выпуск версии 4.00 с набором из более чем сорока правил – это только первый шаг. В дальнейшем мы планируем значительно повысить количество правил диагностики.

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

Изменения в лицензионной политике

В PVS-Studio 4.00 произошли существенные изменения в ценовой политике. Если раньше (когда было только два анализатора – 64-битных и параллельных проблем) все наборы правил анализа были платными, то сейчас это изменено. Итак, сейчас платным является только набор правил для миграции и разработки нового 64-битного кода (Viva64). Два других набора правил – диагностика параллельных OpenMP проблем и диагностика ошибок общего характера являются бесплатными для коммерческого и некоммерческого использования дома и в организациях.

Таким образом, пользователи покупают только 64-битную диагностику (Viva64), если пользуются ей.

По-прежнему доступны три типа лицензии: Single User License, Team License, Site License.

Пользователи, которые купили лицензию на PVS-Studio менее чем год назад, бесплатно и автоматически могут обновиться на версию 4.00 – старые регистрационные ключи будут работать. Пользователи, которые приобрели лицензию более года назад также могут обновиться на версию 4.00, правда в 64-битном анализе некоторые новые диагностики не будут работать. Для того, чтобы иметь полноценную версию таким пользователям необходимо выполнить продление лицензии за 80% от ее стоимости.

Подробнее о ценах и лицензионной политике можно узнать здесь: https://pvs-studio.com/ru/order/

Новое окно для диагностических сообщений, выдаваемых анализатором

До PVS-Studio 4.00 для вывода диагностических сообщений мы использовали стандартные окна Visual Studio – это Output Window и Error List. У этого варианта была масса недостатков. Мы не могли делать работу с нашим инструментом удобным из-за того, что не имели возможности расширять стандартные элементы Visual Studio. Поэтому мы разработали собственное окно для вывода диагностических сообщений. Это позволило нам сделать работу наших пользователей удобной. Мы и в дальнейшем планируем существенно расширять этот функционал, повышая удобство использования PVS-Studio.

Повышение скорости работы

Статический анализ кода – процесс более медленный, чем, к примеру, компиляция. Это связано с тем, что анализатор выполняет намного больше работы по сбору и обработке информации о коде программы. Поэтому повышение скорости работы нашего инструмента – постоянная приоритетная задача. Есть два пути для этого, и мы применяем их оба. Во-первых, мы регулярно улучшаем процедуры анализа для того, чтобы он выполнялся быстрее. Во-вторых, в связи с появлением нового окна вывода диагностических сообщений мы существенно улучшили внутренние структуры представления данных, что позволило сделать работу со списком сообщений очень приятной по скорости.