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 <[email protected]> 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. _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
