Главная

Публикации

Статьи: Андрей Карпов

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

Все Статьи Видео Книги Об авторе

Все теги:

#Cpp

#CSharp

#Knowledge

#64bit

#GameDev

#StaticAnalysis

#Release

#Security

#DevOps

#Marketing

#Java

#Compiler

#OS

#GuestArticle

#Embedded

#Broadcasting

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

...

09 Июн 2009

Первые наши практические исследования в области расчета метрик

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

Не так давно мы начали задумываться над вопросом анализа программного кода не только с точки зрения наличия в нем 64-битных или OpenMP ошибок, но и с точки сложности его адаптации для 64-битных...

...

08 Июн 2009

Что такое "Parallel Lint"?

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

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

...

27 Май 2009

Использование rand() в параллельных секциях OpenMP

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

На форуме RSDN я встретил интересную ветку, где описывается специфическая ошибка использования функции rand() в параллельных секциях OpenMP (http://rsdn.org/forum/cpp.applied/3400925.flat). Я...

...

18 Май 2009

Первое впечатление от использования Intel Parallel Inspector

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

Экспериментировал с Intel Parallel Inspector в режиме диагностики ошибок работы с памятью. Могу сказать, что продукт и то, что он делает, мне крайне понравилось. Особенно понравилась...

...

18 Май 2009

VivaCore, вопросы по документации

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

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

...