Главная

Публикации

Видео

Публикации: видео

Все Статьи Видео Книги Развлечения

Ошибки

Возможности PVS-Studio С++ лекции Интересное

Ещё

Доклады с конференций Подкасты Внутренняя кухня Вебинары

10 Сен 2024

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

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

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

...

29 Авг 2024

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

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

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

...

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

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

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

26 Авг 2024

Семантика для кремниевых мозгов | Юрий Минаев, PVS-Studio

Юрий Минаев

Это Юрий Минаев, архитектор C++-анализатора PVS-Studio, и его доклад на C++ Zero Cost Conf 2024. Юрий рассмотрел семантику языка с точки зрения статического анализатора или фронтенда компилятора.

...

22 Авг 2024

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

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

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

...

21 Авг 2024

Как узнать, что код "с душком"? Пригласили специалиста

Филипп Хандельянц

Как приговаривал один умудренный опытом тимлид: "Семь раз проверь, один раз залей". Зачем надевать на разработчика ошейник и бить его по щекам? Сколько человек нужно, чтобы определиться, как правильно писать код? Что не нравится Леониду? Как можно скрутить "пробег" у п…

...

15 Авг 2024

Разрушители мифов: С++ уже не торт

Филипп Хандельянц

Язык программирования С++ существует уже больше 40 лет. За это время появилась целая куча мифов и небылиц о нём. Мы будем вместе опровергать или подтверждать их. Действительно ли С++ непрост для новичков? С++ устарел и больше никому не нужен? Эти и другие вопросы обсуд…

...

09 Авг 2024

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

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

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

...

31 Июл 2024

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

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

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

...

18 Июл 2024

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

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

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

...

15 Июл 2024

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

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

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

...