Re: [klee-dev] Klee-uclibc.bca Error when Running Coreutils

[Dan Liew]

On 7 May 2017 at 06:27, Zhiyi Zhang  wrote:
> Hi,
>
>
> I have installed klee on Ubuntu(version, 14.04 64 bit) with LLVM-3.4,and I
> successfully run the tutorial 1 & 2. However, I met a problem when I run
> Coreutils 6.11. I used the same options which are showed on "OSDI'08
> Coreutils Experiments", and klee showed an error message as following,
>
>
>
> KLEE: ERROR: Link with library
> /home/jcklee/jc/jcnewklee/klee/Release+Asserts/lib/klee-uclibc.bca failed:
> Invalid valueLoading module failed : Invalid value
>
>
> Could you give me some suggestions to solve this problem? Thank you very
> much.

It is likely that you incorrectly compiled klee-uclibc. You need to
ensure that you compile it using a Clang version that matches the LLVM
version (in your case that is Clang 3.4 and LLVM 3.4) that you link
KLEE against.

___
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

[klee-dev] Klee-uclibc.bca Error when Running Coreutils

[Zhiyi Zhang]

Hi,


I have installed klee on Ubuntu(version, 14.04 64 bit) with
LLVM-3.4,and I successfully run the tutorial 1 & 2. However, I met a
problem when I run Coreutils 6.11. I used the same options which are
showed on "OSDI'08 Coreutils Experiments", and klee showed an error
message as following,

 *KLEE: ERROR: Link with library
/home/jcklee/jc/jcnewklee/klee/Release+Asserts/lib/klee-uclibc.bca
failed: Invalid valueLoading module failed : Invalid value*


Could you give me some suggestions to solve this problem? Thank you very much.


Best wishes!

Zhiyi Zhang
___
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev