"Dereferee: instrumenting C++ pointers with meaningful runtime diagnostics."

Anthony Allevato, Stephen H. Edwards (2014)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics