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-битного кода и связанными с этим потенциальными ошибками.»
Программы Viva64 и VivaMP разработаны на основе нашей библиотеки VivaCore. VivaCore предназначена для разработки систем в области статического анализа кода, тестирования и верификации программного кода на языках Си и Си++. Если вы интересуетесь возможностью создания инструментов для работы с программным кодом, то этот текст для вас.
Занимаясь исследованиями в области анализа исходного кода мы поняли, что можем предложить наши наработки другим компаниям. Речь идет о компаниях, которые планируют создание инструментов для работы с кодом. Так как язык Си++ - это наиболее сложный для анализа язык, то создание библиотеки для работы с ним позволит разработчикам сконцентрироваться на разработке ИНСТРУМЕНТА вместо средств анализа кода и не заниматься написанием алгоритмов обхода кода.
Перечислим основные области возможного применения библиотеки VivaCore для создания новых инструментов.
Если ваша компания заинтересована в разработке инструментов в этих или похожих областях, мы готовы предоставить вам нашу библиотеку VivaCore, консультации по ее интеграции и использованию, а также обеспечение новых возможностей для анализа кода.
Сущность библиотеки анализа кода VivaCore
| Загрузить презентацию "Представление VivaCore"(1 Мб) |
К началу | О нас | Контакты | Политика конфиденциальности | Соглашение об использовании
© 2006 - 2009, ООО "СиПроВер", 300027, Россия, Тула, а/я 1800, тел. (4872) 38-59-95. Офис: Россия, Тула, Кутузова 100, офис 73.