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

18 Июл 2024

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

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

...

15 Июл 2024

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

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

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

...

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

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

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

27 Июн 2024

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

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

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

...

13 Апр 2024

Анализатор кода / Блажь или необходимость? / История успеха компании из глубинки

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

Сегодня поговорим о необходимости статического анализа кода. Разберём область его применения и реалии современной разработки со всё более возрастающей сложностью кода. Услышим историю из 2000ых как 2 человека из глубинки хотели оседлать волну популярной многопоточности…

...

10 Мар 2024

LTE № 27. Судьба стартапа

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

Продолжаем исследовать истории отечественных софтверных компаний, и в этот раз в наши сети был пойман Андрей Карпов, один из основателей проекта PVS-Studio. Это тот, где про статический анализ кода с прикольным единорогом. Собственно, беседа о том, как из рядового греб…

...

14 Фев 2024

Как статический анализ дополняет TDD

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

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

...

01 Ноя 2019

Преждевременная оптимизация — зло! Да здравствует преждевременная оптимизация!

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

Известно высказывание Дональда Кнута о том, что преждевременная оптимизация — это корень всех зол. На практике не всё так однозначно. На базе своего собственного опыта разработки статического анализатора кода Андрей и его команда пришли к выводу, что от неуклонной дегр…

...

10 Окт 2019

Лекция 11. Неопределённое поведение, или как выстрелить себе в ногу

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

На лекции мы рассмотрим: • Терминологию: неопределённое поведение, неуточнённое поведение • Несколько простых примеров неопределённого поведения • Выход за границу массива • Отсутствие виртуального деструктора • Оператор delete • Нулевые указатели • Сдвиги • Целочислен…

...

07 Окт 2019

Лекция 8. Стандарт кодирования PVS-Studio и приёмы при разработке эффективных С++ диагностик

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

На 8 лекции будет рассмотрен стандарт кодирования и зачем его нужно применять. Касательно стандарта кодирования будут затронуты общие положения, строки, именование переменных, именование типов, именование функций а также выравнивание кода. Еще будет рассказано о таких …

...

06 Окт 2019

Лекция 7. Статический анализ, как неотъемлемая часть разработки при написании программ на C++

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

На 7 лекции мы рассмотрим: • Предпосылки необходимости использования статического анализа • Обзоры кода • Взаимосвязи в большом проекте • О плотности ошибок • Статический анализ кода • Примеры обнаруживаемых ошибок • PVS-Studio • Правильные и неправильные способы испол…

...