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

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.