Программа Viva64

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

К сожалению, возможности статического анализа в этой программе ограничены, что зависит от неполной поддержки анализа мудреных шаблонов и перегруженных функций. Компания ООО «Системы программной верификации» предлагает свой очередной коммерческий продукт – VivaMP, являющийся статическим анализатором исходного кода, который запрограммирован на выявление ошибок в сопутствующих программах, применяющих технологию OpenMP. Позволяет диагностировать следующие виды ошибок: ошибки из-за невнимательности или неудовлетворительного знания синтаксиса директив OpenMP, ошибки синхронизации, ошибки состояние гонки и неэффективные конструкции. Поддерживает языки Си и Си++, ориентирован на анализ Windows-приложений. Анализатор состоит как бы из двух частей: консольная часть и подключаемый модуль для Visual Studio 2005/2008.

Консольный модуль непосредственно анализирует код и может быть использован как в составе дополнительных систем, так и самостоятельно. При подключении модуль сорганизовывается в сферу разработки Visual Studio и способствует взаимодействию пользователя с функциями анализатора на уровне диалога. VivaMP имеет доступный интерфейс и детальную справочную систему, интегрирующуюся в MSDN. В настоящее время продукт входит в состав PVS-Studio и уже не распространяется как самостоятельное приложение.

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