Browsing katedra řídicí techniky by Author "Cohen Arthur"
Now showing items 1-1 of 1
-
Analýza bezpečného přístupu k paměti pro kompilátor Rust GCC
Author: Jakub Dupák; Supervisor: Píša Pavel; Opponent: 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č ...