PVS-Studio

Главная

Публикации

Ошибки

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 и других статических анализаторов для проверки параллельных программ, спрашивают, являются ли они конкурентами и задают...

...

#Cpp #64bit

16 Фев 2009

Viva64 для оптимизации структур данных

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

Наконец добрался до реализации диагностики в анализаторе Viva64, выявляющей структуры с неоптимальным расположением полей. До этого сдерживало отсутствие в библиотеке VivaCore поддержки...

...

09 Фев 2009

Неэффективность last() в реальном мире

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

Еще учась в институте и изучая различные алгоритмы обработки данных, я узнал, что необходимость использования такой функции как last() для односвязного списка может говорить о неудачном...

...