🎤Битовые маски 15 — Юрий Минаев и Андрей Карпов о статических анализаторах и деталях их работы

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

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

Из выпуска вы узнаете:

▪Как устроен статический анализ и в чем главные отличия от линтера и фронтенда компилятора;
▪Почему PVS-Studio не использует LLVM;
▪Какие сложности при проведении межпроцедурного и межмодульного анализа;
▪Как PVS-Studio работает с библиотеками, в том числе стандартной и что неожиданного в ней можно найти;
▪Для каких диагностик важен Data-Flow анализ и насколько тяжело пока обходиться без CFG;
▪Как выполняются лексический, статический и семантические анализы в PVS-Studio.

Смотреть на YouTube 📺
Смотреть на Rutube 📺
Слушать 🎤