"Automatically Fixing C Buffer Overflows Using Program Transformations."

Alex Shaw, Dusten Doggett, Munawar Hafiz (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics