PVS-Studio

Главная

Публикации

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

Ошибки

04 Фев 2009

Многопроцессорным компьютерам - параллельные программы!

Игорь Орещенков

Статья представляет собой введение в параллельные программы для...

...

#64bit

02 Фев 2009

Проблемы 64-битного кода в реальных программах: FreeBSD

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

Рассказывая людям про проблемы и трудности разработки 64-битных приложений, я часто слышу в ответ: "Надо просто программы писать хорошо и тогда никаких проблем не будет". Что мы только ни...

...

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

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

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

01 Фев 2009

Запуск блога ООО "СиПроВер"

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

В ООО "СиПроВер" мы большое внимание уделяем написанию и публикации статей. В разделе "Статьи" нашего сайта представлено более 40 различных статей по статическому анализу кода, по...

...

30 Янв 2009

Терминология – новый раздел на сайте www.viva64.com

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

На сайте www.viva64.com появился новый раздел "Терминология", в котором представлены значения основных терминов из областей 64-битной разработки, параллельного программирования и анализа...

...

24 Янв 2009

Отладка и оптимизация многопоточных OpenMP-программ

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

Задача знакомства программистов с областью разработки параллельных приложений становится все актуальней. Данная статья является кратким введением в создание многопоточных приложений, основанных...

...

15 Янв 2009

Введение в 64 бита для начинающих, или где же 64-битный мир?

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

Довольно давно появились 64-битные процессоры, операционные системы, отдельные программы. Однако полностью на 64 бита перешли еще далеко не все пользователи. В статье рассматриваются причины...

...

15 Янв 2009

Изучение проблемы: перенос Си++ библиотек для работы с облаками точек итриангулированными сетками на 64-битную платформу

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

Итальянская компания E.G.S. S.r.l. занимается разработкой решений в области моделирования трехмерных объектов на базе триангулированных...

...

11 Янв 2009

Сайт www.viva64.com становится полноценным информационным ресурсом для разработчиков программ

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

За период с 2006 по 2008 годы включительно на сайте www.viva64.com опубликовано 37 статей на русском и почти столько же статей на английском языках для разработчиков программ. Это статьи не только...

...

#StaticAnalysis

10 Янв 2009

Константин Книжник: статический анализ, взгляд со стороны

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

Статья представляет интервью, взятое у Константина Книжника, сотрудником компании "Системы программной верификации" Андреем Карповым. Затронуты вопросы статического анализа кода, актуальность...

...

27 Ноя 2008

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

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

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

...