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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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