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

28 Май 2025

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

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

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

...

11 Апр 2025

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

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

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

...

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

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

Даю согласие на обработку своих персональных данных в соответствии с Политикой обработки персональных данных

27 Фев 2025

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

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

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

...

12 Фев 2025

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

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

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

...

11 Окт 2024

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

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

«Безопасность мобильных приложений, новые вызовы, атаки и как их решить при помощи платформы Стингрей» - Юрий Шабалин, владелец продукта Стингрей (AppSec Solutions). «Статический анализатор PVS-Studio на страже качества, защищённости и безопасности кода» - Андрей Карпо…

...

02 Окт 2024

Как айтишнику развить бизнес | Алиса и тестирование

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

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

...

13 Сен 2024

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

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

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

...

10 Сен 2024

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

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

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

...

29 Авг 2024

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

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

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

...

22 Авг 2024

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

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

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

...