PVS-Studio

Главная

Публикации

Все Статьи Видео Книги Развлечения

Ошибки

30 Апр 2009

Наша статья в RSDN Magazine

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

В журнале RSDN Magazine N4 - 2008 вышла статья разработчиков ООО "СиПроВер" "Отладка и оптимизация многопоточных...

...

#Cpp #Knowledge #64bit

29 Апр 2009

Изменения выравнивания типов и последствия

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

При переносе программного обеспечения одной из забот, которая ложится на плечи разработчика является изменение размерности типов и правил их выравнивания. Не так давно мы поддержали в...

...

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

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

Даю согласие на обработку своих персональных данных в соответствии с Политикой обработки персональных данных

20 Апр 2009

ООО "СиПроВер" объявляет о выходе новой версии статического анализатора VivaMP 1.10

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

ООО "СиПроВер" объявляет о выходе новой версии статического анализатора VivaMP 1.10. Инструмент VivaMP предназначен для поиска параллельных ошибок в коде приложений, разработанных на языке Си++...

...

#Release

20 Апр 2009

ООО "СиПроВер" объявляет о выходе новой версии статического анализатора Viva64 2.30

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

ООО "СиПроВер" объявляет о выходе новой версии статического анализатора Viva64 2.30. Инструмент Viva64 предназначен для поиска ошибок в коде 64-битных приложений и для увеличения их...

...

#Cpp #64bit

19 Апр 2009

7 шагов по переносу программы на 64-битную систему

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

В статье рассмотрены основные шаги, обеспечивающие корректный перенос 32-битных Windows приложений на 64-битные Windows системы. Хотя статья ориентирована на разработчиков, использующих язык...

...

19 Апр 2009

VivaMP, система выявления ошибок в коде параллельных программ на языке С++, использующих OpenMP

Алексей Колосов, Андрей Карпов, Евгений Рыжков

В статье приводятся результаты исследований ошибок, которые допускают программисты, использующие С++ и OpenMP. Для автоматического обнаружения этих ошибок предлагается использование...

...

13 Апр 2009

Softkey.ru – наш реселлер для продаж Viva64 и VivaMP в России, на Украине, в Белоруссии и Казахстане

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

Заключен лицензионный договор с компанией "Софткей" ("Softkey") для продаж наших программных продуктов через этого известного...

...

#Cpp

06 Апр 2009

Интервью с Дмитрием Вьюковым – автором верификатора Relacy Race Detector (RRD)

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

Интервью с Дмитрием Вьюковым - автором инструмента Relacy Race Detector (RRD) для верификации параллельных приложений. В статье вы узнаете об истории создания RRD, его основных возможностях, а...

...

06 Апр 2009

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

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

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

...

26 Мар 2009

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

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

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

...