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