A type system for format strings

Konstantin Weitz, Gene Kim, Siwakorn Srisakaokul, Michael D. Ernst. A type system for format strings. In Corina S. Pasareanu, Darko Marinov, editors, International Symposium on Software Testing and Analysis, ISSTA '14, San Jose, CA, USA - July 21 - 26, 2014. pages 127-137, ACM, 2014. [doi]

Abstract

Abstract is missing.