OOO "Program Verification Systems"
Используйте PVS-Studio для проверки 64-битных и параллельных приложений
05.02.2010
Ключ /Wp64 и ошибка с обработкой шаблонов
Занимаясь продвижением анализатора Viva64 (из состава PVS-Studio) мы часто комментируем ключ /Wp64 из Microsoft Visual C++.»
03.02.2010
Параллельные заметки №1 – технология OpenMP
В ближайшие несколько постов мы расскажем о практическом использовании многоядерных процессоров.»
29.01.2010
64-битные технологии - еще одно направление в современном программном обеспечении
В блогах и форумах довольно много говорится о многоядерных процессорах, как очевидном этапе развития компьютерных систем.»
2.02.2010 На нашем сайте стали доступны "Уроки разработки 64-битных приложений на языке Си/Си++".»
1.02.2010 Выпущена новая версия PVS-Studio 3.45!»
21.01.2010 Выпущена новая версия PVS-Studio 3.44!»
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" ("Пометить как ложное срабатывание").»
Viva64. Коммерческий продукт компании ООО "Системы программной верификации", представляющий собой статический анализатор исходного кода. Анализатор предназначен для выявления ошибок, возникающих при переносе 32-битного программного обеспечения на 64-битные платформы. Viva64 поддерживает языки Си и Си++ и предназначен для диагностики Windows-приложений. Поддержка Windows приложений, в которых используется модель данных LLP64, существенно выделяет инструмент Viva64 среди других статических анализаторов кода, которые в своем большинстве ориентированных на модель данных LP64, используемую в Unix системах. Анализатор можно разделить на две части: консольный модуль и подключаемый модуль для Visual Studio 2005/2008. Консольная часть непосредственно осуществляет анализ кода и может использоваться как независимо, так в составе сторонних систем. Подключаемый модуль, представляющий собой Add-in, интегрируется в среду разработки Visual Studio и обеспечивает интерактивное взаимодействие пользователя с функциями анализатора. Viva64 имеет простой интерфейс и подробную справочную систему, которая интегрируется в MSDN.
В настоящее время программный продукт Viva64 включен в состав PVS-Studio и более не распространяется как отдельное приложение. Используйте программу PVS-Studio для получения необходимых возможностей проверки кода.