Memory safety without garbage collection for embedded applications

Abstract

Traditional approaches to enforcing memory safety of programs rely heavily on run-time checks of memory accesses and on garbage collection, both of which are unattractive for embedded applications. The goal of our work is to develop advanced compiler techniques for enforcing memory safety with minimal run-time overheads. In this paper, we describe a set of… (More)
DOI: 10.1145/1053271.1053275

Topics

6 Figures and Tables

Slides referencing similar topics