Pointer Ownership Model
• Conference Paper
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
Subjects
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.