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

[Biqian Cheng]

Hi,

I've recently ran into this error when using klee --libc=uclibc
--posix-runtime --external-calls=all program.bc

The error message is:

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

I configure KLEE with llvm 11, and compile these C programs with Clang 11.
What are the potential solutions for solving this error?

Thank you!
Biqian Cheng
-------------- next part --------------
HTML attachment scrubbed and removed