Created attachment 10987
Proposed implementation
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.
format_checker.patch
(43378 bytes, application/octet-stream)