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 Babushkin wrote:
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? Are there serious reasons for that or is it just considered
unnecessary?
Best regards,
Alex.
_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
