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

Блог

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

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

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

Новости

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

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

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

Статьи

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" ("Пометить как ложное срабатывание").»

Версия для печати

VivaCore

VivaCore. Библиотека разбора, анализа и трансформации кода, развиваемая компанией ООО "Системы программной верификации". VivaCore является открытой библиотекой и поддерживает Си и Си++. Библиотека написана на языке Си++ и реализована в виде проекта для Visual Studio 2005. VivaCore построена на основе библиотеки OpenC++ (OpenCxx), которая в данный момент не развивается. VivaCore умеет все то, что умеет OpenCxx, а также:

Поддержан классический язык Си.
Проделана работа по поддержке специфики синтаксиса языка Си++, используемого при разработке в среде Visual Studio 2005/2008.
Поддержаны некоторые новые ключевые слова и иные конструкции, имеющиеся в новых стандартах языка.
Реализовано вычисление значений литеральных констант.
Библиотека адаптирована и оптимизирована для работы на 64-битных системах.
Исправлено большое количество ошибок и недочетов.
Создан механизм начальной предобработки исходного текста, позволяющий реализовать некоторые специфические модификации кода.
Поддержано кодирование сложных типов, занимающих в кодированном виде более 127 символов.
Создан простой проект (для Visual Studio 2005), демонстрирующий основные принципы использования библиотеки VivaCore.
Поддержаны директивы #pragma

На основе библиотеки VivaCore реализован анализатор кода PVS-Studio. Также на основе библиотеки VivaCore компания ООО "Системы программной верификации" предлагает создание специализированных решений в области анализа и обработки исходного кода для сторонних заказчиков.

Страничка продукта: http://www.viva64.com/ru/vivacore-library/ .

Библиографический список

Андрей Карпов, Евгений Рыжков. "Сущность библиотеки анализа кода VivaCore"
VivaCore. Вопросы и ответы
Андрей Карпов. Как появилась библиотека VivaCore