Главная

Публикации

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

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

28 Май 2025

Подкаст linkmeup | sysadmins №58. РБПО | Андрей Карпов

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

Поговорим о сложностях и особенностях разработки безопасного ПО в России. Какие ГОСТ за это отвечают, какие есть старые и новые стандарты. При чём тут ФСТЭК и анализатор кода PVS-Studio. Какие методики оценки есть у РБПО и как написать действительно безопасное ПО. Поче…

...

#Cpp #Embedded

07 Май 2025

Необходимость статического анализа для РБПО на примере 190 багов в TDengine

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

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

...

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

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

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

11 Апр 2025

Модельные варианты ошибок в статических анализаторах

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

ГОСТ Р 71207, касающийся статического анализа кода, вводит термин «модельный вариант» ошибок. Дело в том, что невозможно в общем виде искать такие ошибки, как неопределенное поведение, разыменование нулевых указателей или опечатки. Но искать их нужно. Как же создатели …

...

#Cpp #Knowledge

31 Мар 2025

Учимся рефакторить код на примере багов в TDengine, часть 3: плата за лень

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

Проверяя код проекта TDengine с помощью PVS-Studio, можно встретить код с запахом, канонические ошибки и опечатки. Многое из этого можно избежать, если изначально аккуратно оформлять код...

...

#Cpp #Knowledge

18 Мар 2025

Учимся рефакторить код на примере багов в TDengine, часть 2: макрос, пожирающий стек

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

...

#Cpp #Knowledge

05 Мар 2025

Учимся рефакторить код на примере багов в TDengine, часть 1: про колбасу

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

Проверяя код проекта TDengine с помощью PVS-Studio, можно встретить канонические ошибки и опечатки. Многих из них можно избежать, если изначально аккуратно оформлять код, делать логику простой...

...

27 Фев 2025

C++ и неопределённое поведение

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

Мы пригласили в гости Дмитрия Свиридкина — создателя книги "Путеводитель C++ программиста по неопределённому поведению". Обсудили грани, отделяющие корректный C++ код от некорректного, попросили рассказать историю написания книги, поговорили о развитии языка и его буду…

...

12 Фев 2025

Cтатический анализ C++ кода по ГОСТ Р 71207-2024 на примере PVS-Studio

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

Доклад на конференции Certification Day 2024. 1 апреля 2024 года введён в действие ГОСТ Р 71207-2024: Статический анализ программного обеспечения. Он определяет, что должны уметь инструменты анализа кода, и как с их использованием должен строиться процесс безопасной ра…

...

#Cpp #Knowledge

28 Янв 2025

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

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

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

...

#Cpp #Knowledge

22 Янв 2025

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

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

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

...