[klee-dev] On how the standard library is linked.

[Cristian Cadar]

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 at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev