PVS-Studio

Главная

Публикации

Ошибки

#Cpp #Compiler

19 Сен 2012

Обнаружены ошибки в библиотеках Visual C++ 2012

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

Одной из методик выявления ошибок в программах является статический анализ кода. Мы рады, что это методология становится всё более популярной. Во многом этому способствует Visual Studio, в...

...

11 Сен 2012

Что печатает этот код?

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

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

...

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

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

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

#Cpp

10 Сен 2012

Во всём виноват компилятор

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

Многие программисты очень любят обвинять компилятор в различных ошибках. Поговорим немного об...

...

03 Сен 2012

Как с нами связаться

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

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

...

31 Авг 2012

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

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

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

...

#Knowledge #StaticAnalysis

30 Авг 2012

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

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

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

...

29 Авг 2012

Так ли хорошо 100% покрытие кода статическим анализом?

Дмитрий Новиков

Многим кажется, что чем больше выдаст статический анализатор сообщений об ошибках - тем лучше. Это истина, если все сообщения, что называется, попадут в "десятку". Но это невозможно. Одни и те...

...

#Cpp

21 Авг 2012

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

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

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

...

#Cpp #StaticAnalysis

20 Авг 2012

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

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

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

...

#64bit

14 Авг 2012

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

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

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

...