​​​​📺Анализаторы, компиляторы, линтеры: инженеры PVS-Studio — о статическом анализе С++ кода

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

О каких ещё особенностях работы разработчика анализатора кода вы узнаете из выпуска:

▪Как устроен статический анализ и в чем главные отличия от линтера и фронтенда компилятора;
▪Почему PVS-Studio не использует LLVM;
▪Какие сложности существуют при проведении межпроцедурного и межмодульного анализа;
▪Какую метаинформацию важно хранить статическому анализатору и какие ошибки она позволяет находить;
▪Что нужно знать, чтобы попасть в команду PVS-Studio;
▪Что регулирует ГОСТ на статический анализ.

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

#программы #подкасты #битовыемаски