HI, every klee developers in here I met a problem when i was using klee... I have a task to run a simple .c program on klee, and there is some php library inside the .c program Then, i have to add the flags (-L/usr/local/lib -lphp5) in the llvm-g++ to link my .c program and libphp5.so -------------------------------------------------------------- llvm-g++ --emit-llvm -g XXXXXXXX -L/usr/local/lib -lphp5 -c hello.c -------------------------------------------------------------- and llvm-g++ has the message "llvm-g++: -lphp5: linker input file unused because linking not done" I think It is regular.
My problem is... klee has to run with a object file(bitcode file) without linking but my test program has to link some library for the execution inside klee. I have tried to compile php(libphp5.so) under llvm-gcc and llvm-ld with libphp5.so and my test program. However, it still failed.... Is there any method to run klee with link function inside the klee execution ? Thank you -------------- next part -------------- An HTML attachment was scrubbed... URL: http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20110323/6ec91734/attachment.html
