Новости

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

31.10.2008 Сразу две наших статьи опубликованы в журнале «Известия ТулГУ. Технические науки», выпуск №3 – 2008.»

15.10.2008 Вышла новая версия Viva64 2.20. »

Новости RSS

О компании

Компания "СиПроВер" занимается разработкой программного обеспечения в области анализа исходного кода программ. Основные направления наших работ: верификация программ, статический анализ кода, развитие открытой библиотеки разбора и анализа Си/Си++ кода, создание инструментария для тестирования программных продуктов.

Программные продукты

Viva64, инструмент для миграции приложений на 64-битные платформы
Viva64, инструмент для миграции приложений на 64-битные платформы.
VivaMP, инструмент разработки параллельных программ.
VivaMP, инструмент разработки параллельных программ.
VivaCore, библиотека анализа кода
VivaCore, открытая библиотека анализа Си/Си++ кода. 

 

Статьи