Новости

27.11.2008 Вышла бета-версия анализатора кода VivaMP, предназначенного для выявления ошибок в параллельных OpenMP-программах.»

31.10.2008 Сразу две наших статьи опубликованы в журнале «Известия ТулГУ. Технические науки», выпуск №3 – 2008.»

15.10.2008 Вышла новая версия Viva64 2.20. »

Инструмент Viva64

Главная » Инструмент Viva64

Программный продукт Viva64 (Вива64) обеспечивает диагностику ошибок, специфичных для 64-битных Windows приложений. Viva64 представляет собой lint-подобный статический анализатор Си/Си++ кода. Инструмент Viva64 интегрируется в среду разработки Visual Studio 2005/2008 и предоставляет удобный пользовательский интерфейс для проверки ваших программных проектов (подробнее).

Области применения Viva64:

проверка новых 64-битных программных решений;
помощь в переносе 32-битного программного кода на 64-битную систему;
оптимизация кода с учетом особенностей 64-битной архитектуры.

Рассмотрим задачи решаемые инструментом Viva64 более подробно.

1. Проверка новых 64-битных программных решений.

Разработка современных программ требует от программиста знания паттернов ошибок, возникающих при написании 64-битного исходного кода (подробнее). Многие из 64-битных ошибок неочевидны и требуют от программиста большого опыта и повышенной внимательности. Анализатор Viva64 позволят диагностировать данные виды ошибок, тем самым выполняя две функции: устраняет ошибки в программе и обучает программиста написанию корректного кода, учитывающего специфику 64-битных систем.

2. Помощь в переносе 32-битного программного кода на 64-битную систему.

Перенос 32-битного программного обеспечения на 64-битные системы скрывает в себе множество подводных камней, которые приводят к срыву сроков и усложняют тестирование и сопровождение программных продуктов (подробнее).

Анализатор Viva64 является мощным инструментом, позволяющим быстро и качественно обеспечить миграцию 32-битного программного кода на 64-битную систему. Использование статического анализатора Viva64 позволяет выпустить 64-битное приложение на рынок в 3-4 раза быстрее, чем без него.

Инструмент Viva64 специально разработан для 64-битых Windows-систем, что делает его уникальным среди других статических анализаторов (подробнее).

3. Оптимизация кода с учетом особенностей 64-битной архитектуры.

Хотя изначально инструмент Viva64 не планировалось применять для оптимизации программ, большинство его диагностических сообщений помогают выбрать более подходящие типы данных, что увеличивает производительность кода (подробнее).

Статический анализатор Viva64 позволяет:

найти некорректные и потенциально опасные конструкции в коде с точки зрения поддержки 64-бит;
осуществить навигацию по исходному коду для просмотра ошибочных и опасных конструкций;
анализировать опасный код и его возможные последствия с помощью подробной справочной системы, интегрирующейся в MSDN;
показывать возможные способы исправления ошибок с помощью примеров из документации;
выполнять анализ кода всего проекта или решения (в терминологии Microsoft Visual Studio), а не только отдельных файлов;
при необходимости осуществить настройку правил диагностики.

Преимущества Viva64.

Используемая в инструменте Viva64 методология статического анализа кода имеет существенные преимущества над другими видами анализа, так как позволяет охватить весь программный код. Процедура проверки кода не может как-либо повредить сам код. Процесс анализа полностью контролируется человеком, и именно он принимает решения о необходимости его модификации.

Инструмент Viva64 имеет большую базу знаний по разработке 64-битного кода (справочная система, статьи, примеры), которая позволит существенно поднять уровень программистов. Следование приводимым в этих документах рекомендациям позволяет значительно повысить качество кода и его производительность.

Viva64 полностью интегрируется в среду Microsoft Visual Studio и справочную систему MSDN. При этом предоставляется удобный пользовательский интерфейс для анализа файлов, навигации по коду, получению справочной информации. Работа с анализатором не требует предварительного изучения документации, настройки, выбора уровня диагностики и так далее. Анализатор готов к работе сразу же после инсталляции.

Посмотреть демонстрацию Viva64 (5 Мб, 5 минут).

Загрузить презентацию "Представление Viva64" (1 Мб).

Статья "Viva64: что это и для кого?"

Статья "64 бита, /Wp64, Visual Studio 2008, Viva64 и все, все, все..."

"Windows Server 2008 будет последней 32-битной операционной системой. Все будущие версии операционных систем для серверов от Microsoft после Windows Server 2008 будут 64-битными"

Бил Лейнг, Руководитель подразделения Microsoft Windows Server