Q @masterq

今知りました。すごい
int sprintf(char* dest, char* format, ...);
/*@
requires [?f]string(format, ?f_cs) &*&
chars(dest, ?d_length, ?d_cs) &*&
sprintf_parse_format(f_cs, varargs) == some(?parsed_format) &*&

· tootstream · 0 · 0