search menu icon-carat-right cmu-wordmark

Pointer Ownership Model

January 2014 Conference Paper
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.

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 >