Prohlížení Diplomové práce - 13135 dle autora "Jakub Dupák"
-
Analýza bezpečného přístupu k paměti pro kompilátor Rust GCC
Autor: Jakub Dupák; Vedoucí práce: Píša Pavel; Oponent práce: Cohen Arthur
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-01-30)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č ...