Пользователи




Ресурсы для разработчиков

Блог

05.02.2010 Ключ /Wp64 и ошибка с обработкой шаблонов
Занимаясь продвижением анализатора Viva64 (из состава PVS-Studio) мы часто комментируем ключ /Wp64 из Microsoft Visual C++.»

03.02.2010 Параллельные заметки №1 – технология OpenMP
В ближайшие несколько постов мы расскажем о практическом использовании многоядерных процессоров.»

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

Blog RSS

Новости

2.02.2010 На нашем сайте стали доступны "Уроки разработки 64-битных приложений на языке Си/Си++".»

1.02.2010 Выпущена новая версия PVS-Studio 3.45!»

21.01.2010 Выпущена новая версия PVS-Studio 3.44!»

Новости RSS

Статьи

10.12.2009 Вопросы и ответы по PVS-Studio (PVS-Studio FAQ)
В документе собраны некоторые вопросы и ответы по анализатору кода PVS-Studio компании ООО "СиПроВер".»

09.12.2009 Вопросы и ответы по библиотеке VivaCore (VivaCore FAQ)
В документе собраны некоторые вопросы и ответы по библиотеке анализа Си/Си++ кода VivaCore компании ООО "СиПроВер".»

23.11.2009 PVS-Studio: использование функции "Mark as False Alarm"
В статье приведены описание и пример использования новой функции PVS-Studio 3.40 "Mark as False Alarm" ("Пометить как ложное срабатывание").»

Статьи RSS

Библиотека VivaCore

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

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

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

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

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

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

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

Для сборки VivaCore необходимо иметь установленную версию библиотеки Boost в системе. Текущая версия VivaCore работает с Boost 1.41.

Для установки Boost необходимо выполнить некоторые действия по настройке проекта. Прежде всего, необходимо указать пути до заголовочных файлов библиотеки Boost (Configuration Properties -> C/C++ -> General -> Additional Include Directories) в настройках проекта. Затем вы должны указать путь до скомпилированных lib-файлов (Configuration Properties -> Linker -> General -> Additional Library Directories).

Скачать VivaCore (0.5 Мб) Сущность библиотеки анализа кода VivaCore Вопросы и ответы по библиотеке VivaCore (VivaCore FAQ)

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

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

Скачать исполняемый файл примера VivaVisualCode (1 Мб) Скачать исходный код примера VivaVisualCode (1 Мб) Описание VivaVisualCode