KLEE:错误:加载文件/usr/local/lib/klee/运行时/Klee-uclibc.bca失败:无效记录

Question

在使用klee --libc=uclibc --posix-runtime --external-calls=all program.bc运行KLEE时，它会给出以下错误：

KLEE: NOTE: Using POSIX model: /usr/local/lib/klee/runtime/libkleeRuntimePOSIX64_Debug+Asserts.bca

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

我在这里搜索类似的问题，http://mailman.ic.ac.uk/pipermail/klee-dev/2017-May/001602.html。

使用llvm-config --version后，安装的llvm版本为10.0.0。

然后使用clang --version，它给出如下内容：clang version 10.0.0-4ubuntu1 Target: x86_64-pc-linux-gnu Thread model: posix InstalledDir: /usr/bin

它们的版本吻合。

现在我不知道发生了什么，有人能帮我吗？

Answer 1

我遇到了同样的问题，因为我在docker中移动了klee可执行文件，猜测它所依赖的文件此时无法找到可执行文件。我重新启动了码头，一切顺利。希望我的回答对你有帮助！