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

[Alex Babushkin]

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.
-------------- next part --------------
HTML attachment scrubbed and removed