Главная

Публикации

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

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

03 Сен 2012

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

Если у вас возник вопрос, касающийся анализатора PVS-Studio, его возможностей или способов приобретения, мы будем рады ответить на него. Если у вас есть пожелания или вы заметили ошибку в...

...

31 Авг 2012

Немного о проверке шаблонов

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

Иногда анализатор PVS-Studio выдает загадочные сообщения, в которых упоминается шаблонный класс. Вот пример такого сообщения: V614 Instantiate ReconstructMB<PlaneY, PlaneUV, color_format...

...

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

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

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

#Knowledge #StaticAnalysis

30 Авг 2012

Ощущения, которые подтвердились числами

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

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

...

#Cpp

21 Авг 2012

Проверка проекта Trans-Proteomic Pipeline (TPP)

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

Если честно, я не знаю, для чего предназначен проект TPP. Как мне кажется, это набор инструментов для изучения белков и их взаимодействия в живых организмах. Впрочем, это не так важно. Главное...

...

#Cpp #StaticAnalysis

20 Авг 2012

Статический анализ следует применять регулярно

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

Время от времени мы повторно анализируем проекты, которые уже проверяли с помощью PVS-Studio. Причин несколько. Например, хочется посмотреть, удалось ли избавиться от определенных...

...

#64bit

14 Авг 2012

Возможно ли портировать код на 64-битную платформу находясь на 32-битной?

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

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

...

#64bit

14 Авг 2012

Что такое макрос POINTER_32 ?

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

Макрос POINTER_32 — это стандартный макросс Windows SDK, обычно объявляемый в заголовочных файлах BaseTsd.h, Ntdef.h или...

...

#64bit

14 Авг 2012

Почему 64-битные операционные системы используют для адресации только 48-битные адреса

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

Адрес, используемый в программе, то есть значение указателя, это так называемый "виртуальный адрес". Процессор содержит в себе небольшой объём сверхбыстрой ассоциативной памяти, в котором...

...

#Cpp

23 Июл 2012

Болезни программ: memset

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

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

...

09 Июл 2012

PVS-Studio: отзывы

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

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

...