Главная

Публикации

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

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

12 Янв 2008

Использование библиотеки анализа кода OpenC++: модификация, улучшение, исправление ошибок

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

Данная статья представляет интерес для разработчиков, использующих или планирующих использовать библиотеку OpenC++ (OpenCxx). Автор рассказывает о своем опыте улучшения библиотеки OpenC++...

...

12 Янв 2008

Краткое описание библиотеки анализа кода VivaCore

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

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

...

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

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

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

09 Янв 2008

Сущность библиотеки анализа кода VivaCore

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

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

...

#Cpp #64bit

10 Ноя 2007

Поиск ловушек в Си/Си++ коде при переносе приложений под 64-битную версию Windows

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

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

...

#Cpp #64bit

11 Авг 2007

Забытые проблемы разработки 64-битных программ

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

Хотя история развития 64-битных систем составляет более десятилетия, появление 64-битных версий операционной системы Windows поставило перед разработчиками новые задачи в области разработки...

...

#Cpp #64bit #StaticAnalysis

22 Апр 2007

Статический анализ кода для верификации 64-битных приложений

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

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

...

#Cpp #64bit

27 Мар 2007

Проблемы тестирования 64-битных приложений

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

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

...

#Cpp #64bit

01 Мар 2007

20 ловушек переноса Си++ - кода на 64-битную платформу

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

Рассмотрены программные ошибки, проявляющие себя при переносе Си++ - кода с 32-битных платформ на 64-битные платформы. Приведены примеры некорректного кода и способы его исправления...

...

#Cpp #64bit

03 Фев 2007

64 бита для Си++ программистов: от /Wp64 к Viva64

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

Развитие рынка 64-битных решений поставило новые задачи в области их верификации и тестирования. В статье говорится об одном из таких инструментов - Viva64. Это lint-подобный статический...

...

05 Дек 2006

Установка PC-Lint и его использование в Visual Studio 2005

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

Статья посвящена первому знакомству со статическим анализатором Си++-кода PC-Lint версии 8.0. Описан процесс установки инструмента и его первоначальной...

...