Новый программный продукт PVS-Studio 3.00 вышел 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 была значительно переработана и усовершенствована.
  • Улучшено графическое оформление программного продукта. Новые иконки и графика в инсталляторе придали анализатору более красивый вид.

Программный продукт PVS-Studio - это анализатор кода, призванный решать актуальные проблемы современного программирования.



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

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

goto PVS-Studio;



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

Проверено проектов
344
Собрано ошибок
12 899

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

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

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

goto PVS-Studio;