Browsing Theses and Dissertations by Subject "Program transformation"
Now showing items 1-1 of 1
-
Týr : a dependent type based code transformation for spatial memory safety in LLVM
(2018) [Dissertation]The C programming language does not enforce spatial memory safety: it does not ensure that memory accessed through a pointer to an object, such as an array, actually belongs to that object. Rather, the programmer is ...