to the top
close form
Для получения триального ключа
заполните форму ниже
Team license
Enterprise license
** Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

close form
Запросите информацию о ценах
Новая лицензия
Продление лицензии
--Выберите валюту--
USD
EUR
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

close form
Бесплатная лицензия PVS-Studio для специалистов Microsoft MVP
** Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

close form
Для получения лицензии для вашего открытого
проекта заполните, пожалуйста, эту форму
** Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

close form
Мне интересно попробовать плагин на:
** Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

close form
check circle
Ваше сообщение отправлено.

Мы ответим вам на


Если вы так и не получили ответ, пожалуйста, проверьте папку
Spam/Junk и нажмите на письме кнопку "Не спам".
Так Вы не пропустите ответы от нашей команды.

VivaCore

31 Мар 2013

Те, кто интересуется технологией анализа кода, наверняка слышали о нашей библиотеке VivaCore. Именно на ее основе построен наш же статический анализатор PVS-Studio. Раньше библиотеку можно было скачать с нашего сайта, однако недавно мы ее убрали оттуда и больше ее не распространяем.

Если у вас есть интерес к этой библиотеке или же вообще к построению систем анализа кода C/C++/C++11, то вы можете написать нам. Мы готовы разработать по заказу решение в области анализа кода на основе библиотеки. Такие решения довольно сложные и требуется опыт, для работы с подобными библиотеками. Мы готовы предоставить этот опыт в лице нашей команды на договорных условиях. Просто скачать и использовать эту библиотеку больше нельзя, так как без нашей поддержки это не возможно, а поддерживать open source без оплаты мы пока не в состоянии.

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

  • Поддержан классический язык Си.
  • Реализована поддержка стандарта C++11 на уровне, на котором она осуществлена в Visual Studio 2012. Реализована поддержка лямбда-выражений, auto, decltype, static_assert, nullptr и так далее.
  • Проделана работа по поддержке специфики синтаксиса языка Си++, используемого при разработке в среде Visual Studio 2005/2008/2010/2012.
  • Проделана работа по поддержке специфики синтаксиса языка Си++, используемого при разработке в среде Embarcadero RAD Studio 2009/2010/XE/XE2/XE3.
  • Поддержаны некоторые новые ключевые слова и иные конструкции, имеющиеся в новых стандартах языка.
  • Реализовано вычисление значений литеральных констант.
  • Библиотека адаптирована и оптимизирована для работы на 64-битных системах.
  • Исправлено большое количество ошибок и недочетов.
  • Создан механизм начальной предобработки исходного текста, позволяющий реализовать некоторые специфические модификации кода.
  • Поддержано кодирование сложных типов, занимающих в кодированном виде более 127 символов.
  • Создан простой проект (для Visual Studio 2010), демонстрирующий основные принципы использования библиотеки VivaCore.
  • Поддержаны директивы #pragma
  • И так далее.

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

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

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

Популярные статьи по теме
C++ — язык 2022 года. Почему так, и что с другими языками?

Дата: 20 Янв 2023

Автор: Сергей Васильев

C++ становится языком 2022 года по версии TIOBE, обгоняя Python. Rust, C#, Go и прочие — далеко позади. Странно? Сейчас разберёмся.
PVS-Studio в 2022 году

Дата: 19 Янв 2023

Автор: Полина Алексеева

На дворе январь 2023, а значит, самое время подвести итоги уже прошлого 2022 года. Мы расскажем, чем занимались, и покажем, что нового появилось в анализаторе за это время. Давайте вместе взглянем на…
PVS-Studio: 2 фишки для быстрого старта

Дата: 08 Дек 2022

Автор: Сергей Васильев

В этой заметке расскажу, как легко начать использовать PVS-Studio. Рассмотрим два сценария: когда вы пробуете анализатор впервые и когда внедряете его в проект.
Почему ты делаешь за меня мою работу? Типы людей, которые не пишут в поддержку

Дата: 06 Дек 2022

Автор: Алёна Фоканова

Привлекательное название статьи должно раскрывать то, что будет в ней. Так вот, работа специалистом поддержки клиентов подразумевает появление вопросов к пользователю. Иногда возникает как раз такой:…
Как Apple и другие крупные компании настиг программный баг

Дата: 09 Ноя 2022

Автор: Ульяна Гришина

Сегодня мы отобрали свежие случаи программных ошибок, чтобы вы могли немного отвлечься и, возможно, узнать что-то новенькое. Если вам интересно узнать, как программисту удалось сломать Интернет по вс…

Комментарии (0)

Следующие комментарии next comments
close comment form
Unicorn with delicious cookie
Мы используем куки, чтобы пользоваться сайтом было удобно.
Хорошо