[klee-dev] Use of -sym-stdin/stdout

[Nguyễn Gia Phong]

On 2023-05-23 at 18:05+01:00, Frank Busse wrote:
> On Tue, 23 May 2023 16:38:25 +0900
> Nguyễn Gia Phong <mcsinyx at disroot.org> wrote:
> > what are the potential drawbacks of enabling
> > symbolic printf in KLEE's µClibc?
>
> printf has to transform its parameters into strings. This is heavily
> branching code (even worse when the format string is symbolic). Have a
> look e.g. at musl's implementation:
>
> https://git.musl-libc.org/cgit/musl/tree/src/stdio/vfprintf.c

Thanks, that explains it for me.