Новый программный продукт PVS-Studio 3.00 вышел 27 июля 2009 года!

27 Июл 2009

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

Представляем новый программный продукт ООО "СиПроВер" под названием PVS-Studio (PVS - сокращение от Program Verification Systems, название нашей компании на английском языке). PVS-Studio - это статический анализатор кода, предназначенный для упрощения разработки современных приложений на языках Си и Си++. PVS-Studio объединяет в себе прошлые разработки компании (программные продукты Viva64 и VivaMP) в единое решение. Все, что раньше делалось двумя инструментами Viva64 и VivaMP, теперь делается одним - PVS-Studio.

PVS-Studio - новый статический анализатор кода компании ООО "СиПроВер" предназначен для разработчиков современных ресурсоемких приложений. Объединяя в себе возможности анализа 64-битного кода из программы Viva64 и параллельного кода из программы VivaMP, PVS-Studio позволяет разрабатывать, тестировать, выполнять миграцию и верификацию, и, конечно же, создавать приложения на языках Си и Си++ с высоким уровнем надежности.

В состав PVS-Studio входят два анализатора кода:

Viva64, предназначенный для разработки и миграции 64-битных приложений;
VivaMP, предназначенный для проверки параллельных программ на основе технологии OpenMP.

PVS-Studio позволяет обнаруживать в исходном коде программ на языках Си и Си++ следующие типы дефектов:

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

Анализатор кода PVS-Studio нужен тем, кто:

разрабатывает новые 64-битные приложения;
выполняет миграцию 32-битного кода на 64-битные системы;
добавляет в программу поддержку параллельного исполнения с помощью технологии OpenMP.

Таким образом, два наших продукта Viva64 и VivaMP отныне будут поставляться в качестве единого набора инструментов анализа кода под названием PVS-Studio. Причем условия лицензирования PVS-Studio мы составили так, что приобрести можно как отдельные модули анализа кода, так и все вместе. Лицензии предназначены для отдельных разработчиков и для команд из 1-5 человек.

Продукт PVS-Studio в отличие от Viva64 и VivaMP позволит:

выполнять анализ кода в несколько потоков;
удобно и быстро работать с фильтрами диагностических сообщений и кодов ошибок;
запускать анализ в пакетном режиме (необходимо подготовить командные файлы);

Программный продукт PVS-Studio - это логическое развитие и продолжение линейки продуктов Viva64 и VivaMP мы решили не сбрасывать нумерацию версий продукта. Поэтому выпущенная версия будет иметь сразу номер 3.00.

Полный список изменений можно посмотреть в истории версии, а вот основные улучшения, сделанные в PVS-Studio 3.00:

Программные продукты Viva64 и VivaMP объединены в один программный комплекс PVS-Studio.
Новая версия представляет собой существенно модернизированный программный продукт.
Существенно повышена стабильность работы модуля интеграции в Visual Studio.
Повышена скорость работы на многопроцессорных системах: анализ выполняется в несколько потоков.
Добавлена возможность работы анализатора из командной строки.
Управлять диагностикой отдельных ошибок стало проще, удобнее и быстрее. Теперь можно включать и выключать показ отдельных ошибок в результатах анализа.
Значительно улучшена работа с фильтрами ошибок. Фильтры для сокрытия отдельных сообщений теперь задаются просто как список строк.
Изменение лицензионной политики. Хотя PVS-Studio является единым продуктом, лицензирование возможно и для отдельных модулей анализа, таких как Viva64 и VivaMP, и для всех модулей сразу. Кроме того, появились лицензии для одного пользователя и для команды разработчиков.
Поддержка локализованных версий Visual Studio существенно улучшена.
Интегрирующаяся в MSDN справочная система для новой версии PVS-Studio была значительно переработана и усовершенствована.
Улучшено графическое оформление программного продукта. Новые иконки и графика в инсталляторе придали анализатору более красивый вид.