Новости

5.05.2009 На сайте одного из крупнейших реселлеров России и СНГ SoftKey вышла статья о наших статических анализаторах Viva64 и VivaMP. »

30.04.2009 В журнале RSDN Magazine №4 – 2008 вышла статья разработчиков ООО «СиПроВер» «Отладка и оптимизация многопоточных OpenMP-программ».»

20.04.2009 ООО «СиПроВер» объявляет о выходе новой версии статического анализатора Viva64 2.30. Инструмент Viva64 предназначен для поиска ошибок в коде 64-битных приложений и для увеличения их эффективности.»

Новости RSS

Последние статьи

08.06.2009 Знакомство с анализатором кода PVS-Studio
В статье приведено краткое описание анализатора кода PVS-Studiio.»

08.06.2009 Что такое "Parallel Lint"?
В статье рассказывается о нескольких статических анализаторах, которые могут претендовать на звание "Parallel Lint".»

11.05.2009 64-битный конь, который умеет считать
Статья посвящена особенностям поведения компилятора Visual C++ при генерации 64-битного кода и связанными с этим потенциальными ошибками.»

Статьи RSS

Услуги

Главная » Услуги

Деятельность компании ООО «СиПроВер» включает в себя создание средств программной верификации, а также выполнение работ по субподряду: от написания специальных анализаторов для конкретных задач заказчиков до участия в проектах и их выполнения как частично, так и полностью.

Мы готовы рассмотреть предложения по выполнению работ в ваших проектах или созданию средств верификации на взаимовыгодных условиях.

Анализаторы кода

Наши основные направления – это 64-битное и параллельное программирование. Компания начала свою деятельность в 2006 году с создания статического анализатора исходного кода программ, Viva64, написанных на языке Си/Си++ и предназначенных для 64-битных систем или для портирования на такие системы. Позже появилось средство верификации для параллельных программ, созданных по технологии OpenMP – VivaMP. В настоящее время оба средства верификации объединены в один программный пакет – PVS-Studio.

Статические анализаторы позволяют диагностировать ошибки в исходном коде программ без запуска самой программы. Они представляют собой модули, обычно встраиваемые в среду разработки, которые выявляют возможные проблемные места и сообщают о них разработчику, предлагая варианты исправления ошибки. Такой способ верификации заметно ускоряет поиск и исправление ошибок и снижает стоимость проекта.

Мы предлагаем:

  • разработку новых анализаторов кода под конкретный проект заказчика:
  • участие в качестве субподрядчика в разработке анализаторов кода совместно с компаниями, работающими в этой сфере.

Миграция и распараллеливание кода

Мы специализируемся на проектах и средствах верификации, относящихся к 64-битному и параллельному программированию, и имеем значительный опыт верификации программных продуктов, предназначенных для работы на 64-битной платформе, распараллеливания программ и тестирования программного обеспечения на предмет соответствия таким платформам.

Мы предлагаем:

  • миграцию ваших существующих проектов на 64-битные платформы;
  • разработку параллельных версий существующих приложений.