Разработка безопасного компилятора на основе Clang (Павел Дунаев, OSDAY-2024) — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) (→Thesis) |
||
== Thesis ==
* https://osday.ru/downloads/Dunaev.pdf
{{SlidesSection}}
[[File:Разработка безопасного компилятора на основе Clang (Павел Дунаев, OSDAY-2024).pdf|left|page=-|300px]]
{{----}}
[[File:{{#setmainimage:Разработка безопасного компилятора на основе Clang (Павел Дунаев, OSDAY-2024)!.jpg}}|center|640px]]
{{LinksSection}}
*
<!-- <blockquote>[©]</blockquote> -->
<references/>
<!-- topub -->
[[Категория:OSDAY-2024]]
[[Категория:Draft]] |
Версия 17:09, 27 июня 2024
- Докладчик
- Павел Дунаев
В связи с использованием современными компиляторами C/C++ агрессивных оптимизаций, эксплуатирующих неопределённое поведение, существует потребность в безопасном компиляторе, который не проводит подобные оптимизации, а также предотвращает использование разработчиком небезопасных конструкций. В ИСП РАН был реализован безопасный компилятор на основе GCC, однако часть разработчиков предпочитает GCC Clang, который тоже не лишён проблемы эксплуатации неопределённого поведения.
В докладе даётся обзор возможностей Clang по осуществлению безопасной компиляции и описание реализации безопасного компилятора на его основе. Для созданного безопасного компилятора показывается применимость на практике и приводится оценка влияния на производительность программ.
Содержание
Видео
Thesis
Презентация
Примечания и ссылки