PVS-Studio

Главная

Публикации

Ошибки

#Cpp #64bit

30 Май 2008

Сравнение диагностических возможностей анализаторов при проверке 64-битного кода

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

В статье производится сравнение специализированного статического анализатора Viva64 со статическими анализаторами общего назначения Parasoft C++test и Gimpel Software PC-Lint. Сравнение...

...

#Cpp

20 Май 2008

32 подводных камня OpenMP при программировании на Си++

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

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

...

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

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

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

15 Май 2008

В ВЦ РАН прошел семинар с участием наших специалистов

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

В вычислительном центре имени А.А.Дородницына Российской академии наук (ВЦ РАН), расположенном по адресу Москва, ул. Вавилова, 40, прошел семинар, посвященный вопросам статического анализа...

...

13 Май 2008

Построение систем автоматического протоколирования Си/Си++ кода

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

Иногда единственным методом отладки является использование протоколирования событий приложения. К недостаткам протоколирования (логирования) можно отнести большой объем кода, который...

...

20 Апр 2008

VivaCore - быстрый старт

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

Документ знакомит разработчиков с библиотекой VivaCore. Дается общая информация о библиотеке VivaCore, области применения, лицензионных соглашениях. Описывается процесс развертывания библиотеки...

...

#Cpp #64bit

15 Апр 2008

64 бита, /Wp64, Visual Studio 2008, Viva64 и все, все, все...

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

Данная статья ставит своей задачей ответить на ряд вопросов, касающихся безопасного переноса Си/Си++ кода на 64-битные системы. Статья написана как ответ на часто обсуждаемую в форумах...

...

04 Апр 2008

Преимущества использования Viva64

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

Цель данной рекламной статьи - показать преимущества от использования инструмента Viva64 в жизненном цикле разработки программного...

...

01 Апр 2008

Выпущена библиотека анализа кода VivaCore 1.0

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

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

...

21 Мар 2008

Команда Viva64.com преобразована в компанию "Системы программной верификации"

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

Сообщаем о том, что команда Viva64.com - создатель анализатора кода Viva64 и библиотеки разбора кода VivaCore - преобразована в Общество с ограниченной ответственностью "Системы...

...

16 Фев 2008

Применение технологии статического анализа кода при разработке параллельных программ

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

В статье рассматривается вопрос применения статических анализаторов кода в современных процессах разработки параллельных программ. Появившись в 70-80-х годах как дополнение к...

...