Разработка безопасного компилятора на основе Clang (Павел Дунаев, OSDAY-2024)

Короткая ссылка: 20240621E

Докладчик: Павел Дунаев

В связи с использованием современными компиляторами C/C++ агрессивных оптимизаций, эксплуатирующих неопределённое поведение, существует потребность в безопасном компиляторе, который не проводит подобные оптимизации, а также предотвращает использование разработчиком небезопасных конструкций. В ИСП РАН был реализован безопасный компилятор на основе GCC, однако часть разработчиков предпочитает GCC Clang, который тоже не лишён проблемы эксплуатации неопределённого поведения.
В докладе даётся обзор возможностей Clang по осуществлению безопасной компиляции и описание реализации безопасного компилятора на его основе. Для созданного безопасного компилятора показывается применимость на практике и приводится оценка влияния на производительность программ.