Memory safety without garbage collection for embedded applications

@article{Dhurjati2005MemorySW,
  title={Memory safety without garbage collection for embedded applications},
  author={Dinakar Dhurjati and Sumant Kowshik and Vikram S. Adve and Chris Lattner},
  journal={ACM Trans. Embedded Comput. Syst.},
  year={2005},
  volume={4},
  pages={73-111}
}
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 compiler techniques that, together with minor semantic restrictions on C programs and no new syntax, ensure memory safety and provide most… CONTINUE READING
Highly Cited
This paper has 33 citations. REVIEW CITATIONS