27.11.2008 Вышла бета-версия анализатора кода VivaMP, предназначенного для выявления ошибок в параллельных OpenMP-программах.»
31.10.2008 Сразу две наших статьи опубликованы в журнале «Известия ТулГУ. Технические науки», выпуск №3 – 2008.»
15.10.2008 Вышла новая версия Viva64 2.20. »
Программа Viva64 разработана на основе нашей библиотеки VivaCore. VivaCore предназначена для разработки систем в области статического анализа кода, тестирования и верификации программного кода на языках Си и Си++. Если вы интересуетесь возможностью создания инструментов для работы с программным кодом, то этот текст для вас.
Занимаясь исследованиями в области анализа исходного кода мы поняли, что можем предложить наши наработки другим компаниям. Речь идет о компаниях, которые планируют создание инструментов для работы с кодом. Так как язык Си++ - это наиболее сложный для анализа язык, то создание библиотеки для работы с ним позволит разработчикам сконцентрироваться на разработке ИНСТРУМЕНТА вместо средств анализа кода и не заниматься написанием алгоритмов обхода кода.
Перечислим основные области возможного применения библиотеки VivaCore для создания новых инструментов.
Если ваша компания заинтересована в разработке инструментов в этих или похожих областях, мы готовы предоставить вам нашу библиотеку VivaCore, консультации по ее интеграции и использованию, а также обеспечение новых возможностей для анализа кода.
Сущность библиотеки анализа кода VivaCore.
| Загрузить презентацию "Представление VivaCore"(1 Мб). |
К началу | О нас | Контакты | Политика конфиденциальности | Соглашение об использовании
© 2006 - 2008, ООО "СиПроВер"