Новости

5.05.2009 На сайте одного из крупнейших реселлеров России и СНГ SoftKey вышла статья о наших статических анализаторах Viva64 и VivaMP. »

30.04.2009 В журнале RSDN Magazine №4 – 2008 вышла статья разработчиков ООО «СиПроВер» «Отладка и оптимизация многопоточных OpenMP-программ».»

20.04.2009 ООО «СиПроВер» объявляет о выходе новой версии статического анализатора Viva64 2.30. Инструмент Viva64 предназначен для поиска ошибок в коде 64-битных приложений и для увеличения их эффективности.»

Новости RSS

Последние статьи

08.06.2009 Знакомство с анализатором кода PVS-Studio
В статье приведено краткое описание анализатора кода PVS-Studiio.»

08.06.2009 Что такое "Parallel Lint"?
В статье рассказывается о нескольких статических анализаторах, которые могут претендовать на звание "Parallel Lint".»

11.05.2009 64-битный конь, который умеет считать
Статья посвящена особенностям поведения компилятора Visual C++ при генерации 64-битного кода и связанными с этим потенциальными ошибками.»

Статьи RSS

Инструмент Viva64

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

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

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

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

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

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

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

2. Уменьшение рисков при миграции 64-битных программ

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

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

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

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

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

4. Оптимизация кода с учетом особенностей 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