Мы используем куки, чтобы пользоваться сайтом было удобно.
Хорошо
to the top
>
Публикации

Публикации

03 Сен 2012
Как с нами связаться
Андрей Карпов
Если у вас возник вопрос, касающийся анализатора PVS-Studio, его возможностей или способов приобретения, мы будем рады ответить на него. Если у вас есть пожелания или вы заметили ошибку в...
...
31 Авг 2012
Немного о проверке шаблонов
Андрей Карпов
Иногда анализатор PVS-Studio выдает загадочные сообщения, в которых упоминается шаблонный класс. Вот пример такого сообщения: V614 Instantiate ReconstructMB<PlaneY, PlaneUV, color_format...
...
Подписаться на рассылку
Хотите раз в месяц получать от нас подборку вышедших в этот период самых интересных статей и новостей? Подписывайтесь!
30 Авг 2012
Ощущения, которые подтвердились числами
Андрей Карпов
Долгое время меня беспокоили статьи в интернете, в которых делалась попытка на основе проверки небольших проектов, судить о пользе использования статических анализаторов...
...
29 Авг 2012
Так ли хорошо 100% покрытие кода статическим анализом?
Дмитрий Новиков
Многим кажется, что чем больше выдаст статический анализатор сообщений об ошибках - тем лучше. Это истина, если все сообщения, что называется, попадут в "десятку". Но это невозможно. Одни и те...
...
21 Авг 2012
Проверка проекта Trans-Proteomic Pipeline (TPP)
Андрей Карпов
Если честно, я не знаю, для чего предназначен проект TPP. Как мне кажется, это набор инструментов для изучения белков и их взаимодействия в живых организмах. Впрочем, это не так важно. Главное...
...
20 Авг 2012
Статический анализ следует применять регулярно
Андрей Карпов
Время от времени мы повторно анализируем проекты, которые уже проверяли с помощью PVS-Studio. Причин несколько. Например, хочется посмотреть, удалось ли избавиться от определенных...
...
14 Авг 2012
Возможно ли портировать код на 64-битную платформу находясь на 32-битной?
Андрей Карпов
Да, это возможно с использованием кросс-компилятора, который способен производить нативный код для платформы, отличной от той, на которой он...
...
14 Авг 2012
Что такое макрос POINTER_32 ?
Андрей Карпов
Макрос POINTER_32 — это стандартный макросс Windows SDK, обычно объявляемый в заголовочных файлах BaseTsd.h, Ntdef.h или...
...
14 Авг 2012
Почему 64-битные операционные системы используют для адресации только 48-битные адреса
Андрей Карпов
Адрес, используемый в программе, то есть значение указателя, это так называемый "виртуальный адрес". Процессор содержит в себе небольшой объём сверхбыстрой ассоциативной памяти, в котором...
...
23 Июл 2012
Болезни программ: memset
Андрей Карпов
Анализируя исходные коды различных программ, невольно возникает ассоциация подверженности их той или иной болезни. Часто сами собой выделяются паттерны ошибочного кода, встречающиеся в...
...
Показать еще Pagination arrow previous
Показано: - из 1805