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