Планы ООО "СиПроВер" по развитию собственных программных продуктов




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

Первая версия программного продукта Viva64 1.0 была выпущена 31 декабря 2006 года ( история версий). Реализация была, конечно же, не самой лучшей, поскольку нам было очень важно поскорее запустить продукт и получить первые отзывы от пользователей на саму технологию анализа проблем в 64-битных программах. И хотя, как мне кажется, грубых программных ошибок удалось избежать, тем не менее, даже версия Viva64 2.0, выпущенная 09 июля 2008 была далеко от идеала.

Кроме того, 27 ноября 2008 года появилась первая бета-версия нашего нового анализатора VivaMP 1.00 beta, которая принесла сообществу разработчиков программ возможность проще разрабатывать параллельные программы с технологией OpenMP. От Viva64 программа отличалась только "внутренней начинкой", то есть диагностируемыми ошибками, а интерфейс VivaMP был такой же, как и у Viva64. Фактически это была копия Viva64, но работающая по-другому. И хотя с точки зрения пользователя иметь две одинаковые программы (Viva64 и VivaMP) может быть не очень удобно и логично, такой подход опять-таки позволил быстрее вывести на рынок технологию обнаружения ошибок в параллельных программах.

Теперь, в 2009 году, пришло время довести наши разработки до более серьезного уровня.

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

В настоящее время программный продукт PVS-Studio содержит в себе два анализатора кода. Первый анализатор кода предназначен для упрощения разработки 64-битных приложений, а также снижения стоимости миграции старого 32-битного кода на новую платформу. Ранее это был отдельный продукт Viva64. Второй анализатор кода предназначен для упрощения разработки параллельных программ с применением технологии OpenMP. Ранее это был продукт VivaMP.

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

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

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

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

Со временем мы планируем прекратить выпуск отдельных продуктов Viva64 и VivaMP, но они будут доступны как отдельные модули в PVS-Studio.

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

Итак, мы планируем выпустить PVS-Studio 3.00 в конце лета 2009 года.



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

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

goto PVS-Studio;


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

Проверено проектов
346
Собрано ошибок
13 188

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

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

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

goto PVS-Studio;