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



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



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



Как устроен статический анализ и в чем главные отличия от линтера и фронтенда компилятора;

Почему PVS-Studio не использует LLVM;

Какие сложности существуют при проведении межпроцедурного и межмодульного анализа;

Какую метаинформацию важно хранить статическому анализатору и какие ошибки она позволяет находить;

Что нужно знать, чтобы попасть в команду PVS-Studio;

Что регулирует ГОСТ на статический анализ.



Слушать 🎤

Смотреть:
YouTube 📺| Rutube 📺



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