Analýza bezpečného přístupu k paměti pro kompilátor Rust GCC
Memory safety analysis in Rust GCC
Typ dokumentu
diplomová prácemaster thesis
Autor
Jakub Dupák
Vedoucí práce
Píša Pavel
Oponent práce
Cohen Arthur
Studijní obor
Počítačové inženýrstvíStudijní program
Otevřená informatikaInstituce přidělující hodnost
katedra řídicí technikyPráva
A university thesis is a work protected by the Copyright Act. Extracts, copies and transcripts of the thesis are allowed for personal use only and at one?s own expense. The use of thesis should be in compliance with the Copyright Act http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf and the citation ethics http://knihovny.cvut.cz/vychova/vskp.htmlVysokoškolská závěrečná práce je dílo chráněné autorským zákonem. Je možné pořizovat z něj na své náklady a pro svoji osobní potřebu výpisy, opisy a rozmnoženiny. Jeho využití musí být v souladu s autorským zákonem http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf a citační etikou http://knihovny.cvut.cz/vychova/vskp.html
Metadata
Zobrazit celý záznamAbstrakt
Tato práce představuje první pokus o realizaci analýzy paměťové bezpečnosti, nazývané borrow-checker, v překladači Rust GCC. Analýza využívá systém Polonius, který byl vytvořen jako nová generace borrow-checkeru pro překladač rustc. Práce popisuje návrh analýzy a úpravy překladače, porovnává vnitřní reprezentaci překladačů rustc a gccrs a poukazuje na problémy spojené s adaptací návrhu borrow-checkeru z překladače rustc na gccrs. Závěr práce je věnován diskusi o výsledcích a známých omezeních. This thesis presents the first attempt to implement a memory safety analysis, known as the borrow checker, within the Rust GCC compiler. It utilizes the Polonius engine, which was designed as the next-generation borrow checker for rustc. The text describes the design of this analysis, the necessary modifications of the compiler, and compares the internal representations between rustc and gccrs. This comparison highlights the challenges in adapting the rustc borrow checker design to gccrs. The thesis concludes with a discussion of the results and known limitations.
Kolekce
- Diplomové práce - 13135 [327]