The checker should be able to check that the format string is well formed (matching parens, no unexpected characters, etc.), and should check that the arguments given fit the type specified in the format string.
At this time, there is no way to check the types for a variable argument list.
Extended Description
Progress patch for checker
The checker should be able to check that the format string is well formed (matching parens, no unexpected characters, etc.), and should check that the arguments given fit the type specified in the format string.
At this time, there is no way to check the types for a variable argument list.