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 On 27 May 2014, at 15:48, agan Davis <[email protected]> wrote: > 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 > [email protected] > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
