Prohlížení katedra řídicí techniky dle předmětu "borrow checker"
Zobrazují se záznamy 1-1 z 1
-
Analýza bezpečného přístupu k paměti pro kompilátor Rust GCC
; 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č ...