A format string checker for Java.

Konstantin Weitz, Siwakorn Srisakaokul, Gene Kim, Michael D. Ernst

Browse the full ISSTA paper archive.