[klee-dev] What formats does the option "-link-llvm-lib" supports?

[Cadar, Cristian]

Hi, I was checking messages on the list, and noticed that this message 
never received a reply.  Martin has recently improved the documentation 
for -link-llvm-lib (https://github.com/klee/klee/pull/1204) so hopefully 
things are more clear now.

Best,
Cristian

On 14/11/2019 15:42, Ling Jin wrote:
> Hi,
> 
> I got confused about the documentation describing Linking External 
> Libraries. In the documentation, it says
> 
>     If some functions in the input file are defined in an external LLVM
>     IR file, an archive (.a) of LLVM IR files, or a shared object with
>     LLVM IR code, these external files can be linked in using the option
>     -link-llvm-lib=LIB_FILENAME.
> 
> What I understand is that I can give a ".so" file, but the example
> 
>     $ klee -link-llvm-lib=libhelper.so.bc test.bc
> 
> shows that the option needs a ".so.bc" file. So I want to ask what 
> formats does the option "-link-llvm-lib" supports?
> 
> Does it mean that I can give ".ll", ".a" and/or ".so" files? But the 
> ".a" file should be an archieve of ".bc" files instead of ".obj" files?
> 
> 
> Thanks,
> Ling Jin
> 
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>