2

我是 Klee 的新手，所以我开始制作教程。

如果用于编译，我使用：

  1. llvm-gcc --emit-llvm -c -g get_sign.c 然后我尝试使用 klee get_sign.o 运行我收到错误：KLEE: ERROR: error loading program 'get_sign.o': Invalid MODULE_CODE_GLOBALVAR record 。该错误在 BitcodeReader.cpp 文件 http://llvm.org/docs/doxygen/html/BitcodeReader_8cpp_source.html 第 01594 行中定义。

  2. clang（我已成功用于我的 LLVM 通行证），似乎无法使用它： KLEE: ERROR: error loading program 'get_sign.o': Invalid bitcode signature 。

你知道我能做什么吗？

此外，最好提供使用 Clang 编译的 Klee 输入，这些输入已经用于我的通行证，但正如错误所暗示的那样，这可能吗？

先感谢您 ！

4

1 回答 1

1

问题是我在 LLVM 3.1 上安装了 Klee。在http://klee.llvm.org/GetStarted.html的说明中提到 Klee 与 LLVM 2.9 完全兼容。提到：“KLEE 目前仅在 Linux x86-32 和 x86-64 目标上使用 LLVM 2.9 进行测试。KLEE 不适用于较旧的 LLVM 版本（例如，2.5），并且可能不适用于较新的版本（例如，3.0 ）。”。我在 LLVM 2.9 上安装了 Klee，它运行良好。

于 2013-01-29T09:56:32.720 回答