Automatically Fixing C Buffer Overflows Using Program Transformations. - Alex Shaw; Dusten Doggett; Munawar Hafiz (DSN, 2014)