Checkmate: cornering C++ dynamic memory errors with checked pointers.

Scott M. Pike, Bruce W. Weide, Joseph E. Hollingsworth

Browse the full SIGCSE paper archive.