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

[Dan Liew]

On 7 May 2017 at 06:27, Zhiyi Zhang <xianlingzibiying at gmail.com> 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.