Пользователи




Ресурсы для разработчиков

Блог

05.02.2010 Ключ /Wp64 и ошибка с обработкой шаблонов
Занимаясь продвижением анализатора Viva64 (из состава PVS-Studio) мы часто комментируем ключ /Wp64 из Microsoft Visual C++.»

03.02.2010 Параллельные заметки №1 – технология OpenMP
В ближайшие несколько постов мы расскажем о практическом использовании многоядерных процессоров.»

29.01.2010 64-битные технологии - еще одно направление в современном программном обеспечении
В блогах и форумах довольно много говорится о многоядерных процессорах, как очевидном этапе развития компьютерных систем.»

Blog RSS

Новости

2.02.2010 На нашем сайте стали доступны "Уроки разработки 64-битных приложений на языке Си/Си++".»

1.02.2010 Выпущена новая версия PVS-Studio 3.45!»

21.01.2010 Выпущена новая версия PVS-Studio 3.44!»

Новости RSS

Статьи

10.12.2009 Вопросы и ответы по PVS-Studio (PVS-Studio FAQ)
В документе собраны некоторые вопросы и ответы по анализатору кода PVS-Studio компании ООО "СиПроВер".»

09.12.2009 Вопросы и ответы по библиотеке VivaCore (VivaCore FAQ)
В документе собраны некоторые вопросы и ответы по библиотеке анализа Си/Си++ кода VivaCore компании ООО "СиПроВер".»

23.11.2009 PVS-Studio: использование функции "Mark as False Alarm"
В статье приведены описание и пример использования новой функции PVS-Studio 3.40 "Mark as False Alarm" ("Пометить как ложное срабатывание").»

Статьи RSS

Инструмент Viva64

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

В настоящее время программный продукт Viva64 включен в состав PVS-Studio и более не распространяется как отдельное приложение. Используйте программу PVS-Studio для получения необходимых возможностей проверки кода.

Программный продукт 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. При этом предоставляется удобный пользовательский интерфейс для анализа файлов, навигации по коду, получению справочной информации. Работа с анализатором не требует предварительного изучения документации, настройки, выбора уровня диагностики и так далее. Анализатор готов к работе сразу же после инсталляции.