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

Subjects

Secure DevelopmentSecure Development
Secure CodingSecure Coding

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 >