metrica
Мы используем куки, чтобы пользоваться сайтом было удобно.
Хорошо
to the top
close form

Заполните форму в два простых шага ниже:

Ваши контактные данные:

Шаг 1
Поздравляем! У вас есть промокод!

Тип желаемой лицензии:

Шаг 2
Team license
Enterprise license
** Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности
close form
Запросите информацию о ценах
Новая лицензия
Продление лицензии
--Выберите валюту--
USD
EUR
RUB
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

close form
Бесплатная лицензия PVS‑Studio для специалистов Microsoft MVP
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

close form
Для получения лицензии для вашего открытого
проекта заполните, пожалуйста, эту форму
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

close form
Мне интересно попробовать плагин на:
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

close form
check circle
Ваше сообщение отправлено.

Мы ответим вам на


Если вы так и не получили ответ, пожалуйста, проверьте папку
Spam/Junk и нажмите на письме кнопку "Не спам".
Так Вы не пропустите ответы от нашей команды.

Вебинар: Трудности при интеграции SAST, как с ними справляться - 04.04

>
>
Новый программный продукт PVS-Studio 3.…

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

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

Популярные статьи по теме


Комментарии (0)

Следующие комментарии next comments
close comment form