Главная

Публикации

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

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

13 Сен 2024

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

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

Это заключительный, пятый вебинар, посвящённый статическому анализy кода с точки зрения ГОСТ Р 71207–2024. Поговорили о процессах внедрения и выполнения статического анализа. Достаточно ли регулярно запускать анализатор, но не смотреть на отчёты? Конечно, нет. Хотя, к …

...

#Cpp #Knowledge

12 Сен 2024

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

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

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

...

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

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

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

10 Сен 2024

Статический анализ кода / Виды анализа и диагностики / Поиск кадров в регионах

Андрей Карпов, Юрий Минаев

В гостях у «Битовых масок» — Андрей Карпов и Юрий Минаев из PVS-Studio.В новом выпуске инженеры рассказывают о том, с чего начиналась разработка статического анализатора PVS-Studio и как работает команда сегодня. Как устроен статический анализ и в чем главные отличия о…

...

29 Авг 2024

МАСКОМ УЦ - Вебинар № 1 серии вебинаров по разработке безопасного ПО - Давайте разбираться вместе!!!

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

Наш совместный вебинар с с учебным центром "МАСКОМ". Спикер от нас: Андрей Карпов, сооснователь PVS-Studio. Обсуждаем современные программные инструменты, применяемые при создании безопасного ПО, а также лидеров российского рынка в этой области; говорим про особенности…

...

#Cpp #Knowledge

23 Авг 2024

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

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

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

...

22 Авг 2024

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

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

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

...

09 Авг 2024

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

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

Третий вебинар, посвящённый рассмотрению ГОСТ Р 71207‐2024. В этот раз мы на примерах разобрали те критические ошибки, которые должны выявляться статическими анализаторами кода. Критические ошибки — это дефекты в коде, которые анализаторы должны обнаруживать в первую о…

...

#Cpp #Knowledge

05 Авг 2024

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

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

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

...

31 Июл 2024

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

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

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

...

18 Июл 2024

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

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

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

...