how to resolve the dynamic share lib handling problem in klee

[agan Davis]

hi, everyone

klee cannot handle the external function from some lib**.so, can I process
the situation like libc, building the lib**.so in klee, Is someone
interented in it or having related knowledge?

Best regards
davis

[Paul Marinescu]

Not sure what you mean by ‘cannot handle'. If klee does not find the function, you may be able to force loading the library using a command line argument like --load=/path/to/lib**.so This won’t work if you need/have to symbolically execute the library code, in which case either statically link the library into the program that you’re testing or make klee do it at runtime (similar to libc).

Paul

Post by agan Davis
hi, everyone
klee cannot handle the external function from some lib**.so, can I process the situation like libc, building the lib**.so in klee, Is someone interented in it or having related knowledge?
Best regards
davis
_______________________________________________
klee-dev mailing list
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev