[bronty]

You can check format strings in Java at compile-time using the Checker Framework: http://types.cs.washington.edu/checker-framework/current/che...

The format string semantics are actually pretty tricky because printf will perform conversions in certain cases.