Представляем новый программный продукт ООО "СиПроВер" под названием 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 - это анализатор кода, призванный решать актуальные проблемы современного программирования.