Keyword:spatial memory safety

Papers
A Formal Model of Checked C Liyi Li, Yiyun Liu, Deena Postol, Leonidas Lampropoulos, David Van Horn and Michael Hicks EasyChair Preprint no. 8764