Analýza bezpečného přístupu k paměti pro kompilátor Rust GCC

Jakub Dupák

Memory safety analysis in Rust GCC

Type of document

diplomová práce
master thesis

Author

Jakub Dupák

Supervisor

Píša Pavel

Opponent

Cohen Arthur

Field of study

Počítačové inženýrství

Study program

Otevřená informatika

Institutions assigning rank

katedra řídicí techniky

Rights

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.html
Vysokoš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

Show full item record

Abstract

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.