С программой 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-битную платформу.
If you're looking to earn the best possible grade on your research paper, you need…
To write my essay, first you need to think of the major topic of your…
Writing term paper is not a simple endeavor. It involves huge efforts, that need to…
It's possible to purchase term papers and textbooks on the internet at a discount price,…
The main reason essay writing is so powerful is because it's a general subject and…
A couple of years ago I received an email from a student asking for information…