Hi Alex,
We typically link against a custom version of uclibc, where printf is
treated specially by default as an external function. Does this answer
your question?
It is possible to load binary-only libraries with KLEE via the --load
option.
Best,
Cristian
On 03/11/2022 14:28, Alex
Hello.
KLEE can call functions that do not have IR available as externals. Some C
standard library functions are also called as externals (e.g. printf). How
is the standard library linked to the JIT engine that calls externals?
Also, why isn't loading of binary-only libraries supported in KLEE?