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

Материал из 0x1.tv

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

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

В докладе даётся обзор возможностей Clang по осуществлению безопасной компиляции и описание реализации безопасного компилятора на его основе. Для созданного безопасного компилятора показывается применимость на практике и приводится оценка влияния на производительность программ.

Видео

on youtube


Thesis

Презентация

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

Примечания и ссылки