annotate two function with __attribute__ ((format (printf...

Helps to find format strings bugs..
Fix all format string issues found by the attribute format patch