[klee-dev] how to resolve the dynamic share lib handling problem in klee

[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

On 27 May 2014, at 15:48, agan Davis <agandavis at gmail.com> 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
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev