[klee-dev] KLEE: ERROR: Loading file /usr/local/lib/klee/runtime/klee-uclibc.bca failed: Invalid record

[Frank Busse]

Hi,


On Mon, 8 Aug 2022 13:18:54 -0700
Biqian Cheng <bchen158 at ucr.edu> wrote:

> Thanks for your reply. I typed this command as you suggested
> previously: ./configure --make-llvm-lib --with-cc clang-11
> --with-llvm-config llvm-config-11
> 
> Here are what I got after typing that command:

Looks good. Did you rebuild it (make) in case it was wrong beforehand?
Then check the LLVM version klee is linked against (e.g. ldd
<path>/bin/klee) and finally the build output of your program.bc
(enable verbose mode for make/...). Does klee complain
without "--libc=uclibc"?

> libllvm10/focal,now 1:10.0.0-4ubuntu1 amd64 [installed,automatic]

Given that LLVM10 is on your machine as well I think we're on the right
path. ;)


Kind regards,

Frank