Главная

Публикации

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

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

31 Июл 2024

ГОСТ Р 71207–2024 - Статический анализ программного обеспечения. Терминология

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

Это второй вебинар, посвящённый ГОСТ Р 71207. Прежде чем более подробно говорить про статический анализ кода, стоит начать с рассмотрения основных терминов, описанных в стандарте. ГОСТ даёт очень краткие определения терминов. Это описание может тяжело восприниматься не…

...

18 Июл 2024

Ошибки в коде: ожидания и реальность

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

Используя статический анализатор кода, пользователь может находить в коде вовсе не те ошибки, которые ожидал. Это не хорошо и не плохо, а интересная тема для обсуждения. Почему синтетические тесты врут и почему их сложно составлять. Ложные ожидания при разработке и исп…

...

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

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

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

15 Июл 2024

ГОСТ Р 71207–2024. Статический анализ программного обеспечения. Общее описание и актуальность

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

Первый из пяти вебинаров, посвящённых введённому в апреле этого года стандарту по методологии статического анализа кода. ГОСТ Р 71207 описывает термины, порядок внедрения и выполнения статического анализа, классификацию ошибок, требования к инструментам статического ан…

...

27 Июн 2024

Использование статического анализатора в разработке безопасного программного обеспечения (ГОСТ Р 71207-2024) на примере PVS-Studio

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

При разработке безопасного программного обеспечения должны использоваться статические анализаторы кода. Однако оставались открытыми некоторые вопросы: какими свойствами необходимо обладать инструментам анализа, какие ошибки обязаны выявлять и как в целом должны выполня…

...

#Cpp #Knowledge

24 Июн 2024

Путеводитель C++ программиста по неопределённому поведению: часть 2 из 11

Андрей Карпов, Дмитрий Свиридкин

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

...

#Cpp #Knowledge

07 Июн 2024

Путеводитель C++ программиста по неопределённому поведению: часть 1 из 11

Андрей Карпов, Дмитрий Свиридкин

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

...

#Cpp

30 Май 2024

Объявляю ошибку вида if (x = 42) вымирающей и заношу её в Красную книгу C и C++ багов

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

Если спросить программиста, какие баги чаще всего можно встретить в C и C++ коде, он назовёт разыменование нулевого указателя, неопределённое поведение, выход за границу массива и другие, на...

...

#Cpp #Knowledge #GameDev

23 Май 2024

С++: освобождение ресурсов в деструкторах с использованием вспомогательных функций

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

В этой статье мы рассмотрим, как правильно разрушать объекты в ООП программе на языке C++, не выполняя избыточных операций. Этим мы завершим цикл публикаций, посвящённый обзору ошибок в...

...

#Cpp #GameDev

16 Май 2024

Проверка игрового движка qdEngine, часть третья: дополнительная десятка багов

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

В первой статье про qdEngine было рассмотрено 10 ошибок, выбранных плагином PVS-Studio. Однако есть ещё 10 багов, заслуживающих внимания. Как говорится, лучше учиться на чужих ошибках. Заодно...

...

#Cpp #GameDev

07 Май 2024

Проверка игрового движка qdEngine, часть вторая: упрощение C++ кода

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

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

...