Discussion:
how to resolve the dynamic share lib handling problem in klee
(too old to reply)
agan Davis
2014-05-27 14:48:26 UTC
Permalink
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
2014-05-27 21:38:36 UTC
Permalink
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
Loading...