Главная

Публикации

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

Публикации: Андрей Карпов

28 Авг 2009

PVS-Studio выдает ошибку "Some diagnostic messages may contain incorrect line number for file ..."

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

Иногда анализатор кода PVS-Studio может выдавать следующую ошибку: "Some diagnostic messages may contain incorrect line number for file ...". Такое может происходить, если вы используете...

...

#Release

10 Авг 2009

Состоялся выпуск PVS-Studio 3.10

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

Вышла новая версия анализатора кода PVS-Studio 3.10. PVS-Studio - это статический анализатор кода, предназначенный для упрощения разработки современных приложений на языках Си и Си++...

...

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

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

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

#Cpp #64bit

06 Авг 2009

Безопасность 64-битного кода

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

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

...

#Cpp

06 Авг 2009

Атавизмы в больших системах

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

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

...

06 Авг 2009

PVS-Studio и проверка Loki

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

В PVS-Studio 3.10 будет существенно улучшена поддержка сложных конструкций, основанных на шаблонах, что позволяет эффективно искать ошибки даже в коде тех программ, где используются сложные...

...

#Release

27 Июл 2009

Новый программный продукт PVS-Studio 3.00 вышел 27 июля 2009 года!

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

Представляем новый программный продукт ООО "СиПроВер" под названием PVS-Studio (PVS - сокращение от Program Verification Systems, название нашей компании на английском языке). PVS-Studio ...

...

#Cpp #Knowledge

20 Июл 2009

Функция распечатки типа выражения

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

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

...

29 Июн 2009

Курс по статическому анализу

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

Некоторое время назад, мы общались с компанией ТЕКАМА на тему разработки для них курса по статическому анализу кода для одного из их корпоративных клиентов. К сожалению, проект не был реализован...

...

29 Июн 2009

OpenMP 3.0 и итераторы

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

Радостная новость ждет разработчиков, которые хотят одновременно использовать в своих программах итераторы и OpenMP. До недавнего времени не то, чтобы эти технологии были не совместимы...

...

23 Июн 2009

Программы ООО "СиПроВер" в каталоге Select Software

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

В июне 2009 года наши статические анализаторы кода появились в каталоге реселлера Select Software (http://selectindia.com/), представленного на одном из самых крупных и стремительно...

...