Leveraging Static Analysis Tools for Improving Usability of Memory Error Sanitization Compilers. - Rigel Gjomemo; Phu H. Phung; Edmund Ballou; Kedar S. Namjoshi; V. N. Venkatakrishnan; Lenore D. Zuck (QRS, 2016)