Memory Safety Without Garbage Collection for Embedded Applications

Dinakar Dhurjati, Sumant Kowshik, Vikram Adve, Chris Lattner

Research output: Contribution to journalArticlepeer-review

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 compiler techniques that, together with minor semantic restrictions on C programs and no new syntax, ensure memory safety and provide most of the error-detection capabilities of type-safe languages, without using garbage collection, and with no run-time software checks, (on systems with standard hardware support for memory management). The language permits arbitrary pointer-based data structures, explicit deallocation of dynamically allocated memory, and restricted array operations. One of the key results of this paper is a compiler technique that ensures that dereferencing dangling pointers to freed memory does not violate memory safety, without annotations, run-time checks, or garbage collection, and works for arbitrary type-safe C programs. Furthermore, we present a new interprocedural analysis for static array bounds checking under certain assumptions. For a diverse set of embedded C programs, we show that we are able to ensure memory safety of pointer and dynamic memory usage in all these programs with no run-time software checks (on systems with standard hardware memory protection), requiring only minor restructuring to conform to simple type restrictions. Static array bounds checking fails for roughly half the programs we study due to complex array references, and these are the only cases where explicit run-time software checks would be needed under our language and system assumptions.

Original languageEnglish (US)
Pages (from-to)73-111
Number of pages39
JournalACM Transactions on Embedded Computing Systems
Volume4
Issue number1
DOIs
StatePublished - Feb 1 2005

Keywords

  • Embedded systems
  • Languages
  • Security
  • automatic pool allocation
  • compilers
  • programming languages
  • region management
  • security
  • static analysis

ASJC Scopus subject areas

  • Software
  • Hardware and Architecture

Fingerprint Dive into the research topics of 'Memory Safety Without Garbage Collection for Embedded Applications'. Together they form a unique fingerprint.

Cite this