PVS-Studio

Главная

Публикации

Ошибки

06 Апр 2009

ООО "СиПроВер" на конференции "Параллельные вычислительные технологии 2009"

Андрей Карпов

1 апреля в Нижегородском государственном университете в рамках конференции ПаВТ'2009 сотрудник ООО "СиПроВер" Алексей Колосов выступил с докладом на тему "VivaMP, система выявления ошибок в...

...

26 Мар 2009

Разработка статического анализатора кода для обнаружения ошибок переноса программ на 64-битные системы

Евгений Рыжков

В статье рассмотрена задача разработки программного инструмента под названием статический анализатор. Разрабатываемый инструмент используется для диагностики потенциально опасных...

...

Подписаться на рассылку

Хотите раз в месяц получать от нас подборку вышедших в этот период самых интересных статей и новостей? Подписывайтесь!

Нажимая на кнопку, вы даете согласие на обработку своих персональных данных. См. Политику конфиденциальности

26 Мар 2009

Allsoft.ru, наш новый реселлер для продаж Viva64 и VivaMP в России и странах СНГ

Андрей Карпов

Компания ООО "СиПроВер" заключила лицензионный договор с реселлером allsoft.ru, проектом компании Softline, для более простого и быстрого способа продаж своих программных продуктов в России и...

...

23 Мар 2009

Семинар в НИВЦ МГУ

Андрей Карпов

23 марта в Научно-исследовательском вычислительном центре МГУ состоялся семинар с участием генерального директора ООО "СиПроВер" Евгения Рыжкова на тему "Статический анализ кода для...

...

16 Мар 2009

OpenMP и исключения (exceptions)

Андрей Карпов

Мы продолжаем развивать наш статический анализатор VivaMP, и на этот раз хочется рассказать о диагностике ошибок, связанных с использованием исключений (exception) языка Си++ в параллельных...

...

10 Мар 2009

Вышла финальная версия анализатора кода VivaMP 1.00, предназначенного для разработчиков OpenMP программ

Андрей Карпов

Компания ООО "СиПроВер" сообщает о выпуске финальной версии статического анализатора Си/Си++ кода VivaMP 1.00. Анализатор VivaMP предназначен для диагностики параллельных ошибок в...

...

#Cpp #64bit

09 Мар 2009

Поиск ошибок явного приведения типа в 64-битных программах

Андрей Карпов

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

...

02 Мар 2009

Online диагностика ошибок связанных с использованием технологии OpenMP и архитектуры x64

Андрей Карпов

Мне очень нравятся различные анализаторы кода, которые можно попробовать в online варианте, чтобы понять, стоил ли изучать их более подробно. Хорошим примером может служить online вариант...

...

27 Фев 2009

Компания ООО "СиПроВер" приглашает авторов статей

Андрей Карпов

Компания ООО "СиПроВер" приглашает авторов на сайт www.viva64.com, где они могут разместить свои статьи по тематике тестирования, параллельного программирования, разработке 64-битных приложений...

...

23 Фев 2009

Мирное сосуществование PC-Lint и VivaMP

Андрей Карпов

Нам задают различные вопросы, связанные с использованием PC-Lint, VivaMP и других статических анализаторов для проверки параллельных программ, спрашивают, являются ли они конкурентами и задают...

...