Proving Memory Safety of the ANI Windows Image Parser Using Compositional Exhaustive Testing

Maria Christakis, Patrice Godefroid. Proving Memory Safety of the ANI Windows Image Parser Using Compositional Exhaustive Testing. In Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen, editors, Verification, Model Checking, and Abstract Interpretation - 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings. Volume 8931 of Lecture Notes in Computer Science, pages 373-392, Springer, 2015. [doi]

Abstract

Abstract is missing.