Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Conference Paper

Pointer Ownership Model

  • January 2014
  • By David Svoboda, Lutz Wrage
  • In this paper, the authors describe how the Pointer Ownership Model improves static analysis of C programs for errors involving dynamic memory management.
  • Secure Coding
  • Publisher: Computer.org
  • Abstract

    In this paper, the David Svoboda and Lutz Wrage describe how the Pointer Ownership Model improves static analysis of C programs for errors involving dynamic memory management. 

    Download this paper >

Read Conference Paper

Published by Computer.org

Read Conference Paper