Библиотека VivaCore

VivaCore - это не анализатор кода. Это библиотека, на основе которой построен анализатор кода PVS-Studio и на основе которой могут быть созданы другие программные проекты.

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

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

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

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

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

Напишите нам, если интересуетесь VivaCore.

VivaVisualCode как пример применения библиотеки VivaCore

VivaVisualCode - это программа, которая в графическом виде демонстрирует  возможности библиотеки VivaCore для построения деревьев разбора Си++ кода. VivaVisualCode реализует графическое представление дерева разбора на экране. Напишите нам, если интересуетесь VivaVisualCode.