Новости

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

Библиотека VivaCore

Главная » Библиотека VivaCore

Программы Viva64 и VivaMP разработаны на основе нашей библиотеки VivaCore. VivaCore предназначена для разработки систем в области статического анализа кода, тестирования и верификации программного кода на языках Си и Си++. Если вы интересуетесь возможностью создания инструментов для работы с программным кодом, то этот текст для вас.

Занимаясь исследованиями в области анализа исходного кода мы поняли, что можем предложить наши наработки другим компаниям. Речь идет о компаниях, которые планируют создание инструментов для работы с кодом. Так как язык Си++ - это наиболее сложный для анализа язык, то создание библиотеки для работы с ним позволит разработчикам сконцентрироваться на разработке ИНСТРУМЕНТА вместо средств анализа кода и не заниматься написанием алгоритмов обхода кода.

Перечислим основные области возможного применения библиотеки VivaCore для создания новых инструментов.

  • Инструменты модернизации программ: рефакторинг, преобразование кода, оптимизация кода.
  • Инструменты контроля качества: программные метрики, проверка стандарта кодирования, анализ покрытия, анализаторы кода.
  • Документирование исходного кода.
  • Инструменты для программной миграции: миграция на аппаратные платформы и операционные системы.

Если ваша компания заинтересована в разработке инструментов в этих или похожих областях, мы готовы предоставить вам нашу библиотеку VivaCore, консультации по ее интеграции и использованию, а также обеспечение новых возможностей для анализа кода.

Сущность библиотеки анализа кода VivaCore

Загрузить презентацию "Представление VivaCore"(1 Мб)