Вышла бета-версия анализатора кода VivaMP, предназначенного для выявления ошибок в параллельных OpenMP-программах


Компания "СиПроВер" сообщает о выпуске первой бета-версии статического анализатора Си/Си++ кода VivaMP. Анализатор VivaMP предназначен для диагностики параллельных ошибок в программных продуктах, реализованных на основе технологии OpenMP. Не секрет, что современные компиляторы, в которых реализована поддержка технологии параллельного программирования OpenMP, обеспечивают достаточно слабую диагностику ошибок в OpenMP-коде. Вместе с тем, ошибиться, применяя OpenMP, довольно легко. Восполнить имеющийся пробел и предложить качественную диагностику при использовании OpenMP и предназначен разработанный анализатор кода VivaMP.

Программный продукт VivaMP представляет собой модуль расширения (AddIn) для среды разработки Microsoft Visual Studio 2005/2008. Встраиваясь в эту среду, анализатор может проверять код приложений на языках Си и Си++, в которых используется распараллеливание с помощью технологии OpenMP. Анализатор позволяет обнаружить ошибки связанные с недостаточным знанием программистами синтаксиса OpenMP, недостаточным пониманием принципов работы OpenMP, ошибки некорректной работы с общей памятью, ошибки синхронизации а также ошибки производительности.

В отличие от динамических инструментов, статический анализатор кода VivaMP не требует запуска программы, поэтому его диагностика всегда стабильна, точна и не зависит от "окружающей среды", в которой запускается разрабатываемая программа.

Настоящая бета-версия хоть и называется "бета", но, тем не менее, является полноценным программным продуктом. Единственной ее отличие от будущего релиза - это отсутствие справочной системы. Естественно, что в релизе справочная система будет представлена в полном объеме.

Анализатор кода VivaMP уже доступен для приобретения. Каждый пользователь, купивший лицензию на VivaMP во время бета-тестирования бесплатно получит лицензию на версию VivaMP 1.00 после ее официального выхода. Таким образом, если вы уже разрабатываете OpenMP-программы, то нет смысла ждать релиза VivaMP 1.00 - начните использовать наш инструмент уже сейчас.



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

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

goto PVS-Studio;



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

Проверено проектов
367
Собрано ошибок
13 552

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

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

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

goto PVS-Studio;