"Runtime Verification of C Memory Safety."

Grigore Rosu, Wolfram Schulte, Traian-Florin Serbanuta (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics