Инструменты анализа кода

Новости

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

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

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

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

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

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

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

О компании

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