Наши клиенты
|
PVS-Studio code analyzer is based on VivaCore Library
|
|
Иногда анализатор кода PVS-Studio якобы обнаруживает проблему в коде, выдает сообщение, указывает имя файла, но не показывает номер проблемной строки как показано на рисунке.»
При разработке программных продуктов разработчикам очень важно иметь обратную связь с пользователями их программ.»
В статье показаны приемы организации работы анализатора кода PVS-Studio вместе с системами непрерывной интеграции (continuous integration).»
В статье сравниваются три механизма анализа кода с точки зрения выявления 64-битных ошибок: компилятор Visual C++2010, компонент Code Analysis for C/C++ входящий в состав Visual Studio 2010 Premium/Ultimate и анализатор Viva64 входящий в состав PVS-Studio 3.60. »
Статья представляет собой наиболее полную коллекцию примеров 64-битных ошибок на языках Си и Си++. »
Библиотека 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 реализует графическое представление дерева разбора на экране.
300027, Россия, Тула, а/я 1800, тел. +7 (4872) 38-59-95,. офис: Россия, Тула, Кутузова 100, оф. 73.
