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" ("Пометить как ложное срабатывание").»
VivaMP. Коммерческий продукт компании ООО "Системы программной верификации", представляющий собой статический анализатор исходного кода. Анализатор предназначен для выявления ошибок в параллельных программах, в которых используется технология OpenMP. Анализатор диагностирует следующие классы ошибок: ошибки вызванные невнимательностью или недостаточным знанием синтаксиса директив OpenMP, ошибки синхронизации, ошибки состояние гонки, а также неэффективные конструкции. VivaMP поддерживает языки Си и Си++ и ориентирован на диагностику Windows-приложений. Анализатор можно разделить на две части: консольный модуль и подключаемый модуль для Visual Studio 2005/2008. Консольная часть непосредственно осуществляет анализ кода и может использоваться как независимо, так в составе сторонних систем. Подключаемый модуль, представляющий собой Add-in, интегрируется в среду разработки Visual Studio и обеспечивает интерактивное взаимодействие пользователя с функциями анализатора. VivaMP имеет простой интерфейс и подробную справочную систему, которая интегрируется в MSDN.
В настоящее время программный продукт VivaMP включен в состав PVS-Studio и более не распространяется как отдельное приложение. Используйте программу PVS-Studio для получения необходимых возможностей проверки кода.