使用KLEE错误运行

Question

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

如果编译我使用：

1. llvm-gcc --emit-llvm -c -g get_sign.c然后我尝试使用klee get_sign.o运行我收到错误：KLEE：ERROR：加载程序'get_sign.o'时出错： MODULE_CODE_GLOBALVAR记录无效。该错误在BitcodeReader.cpp文件http://llvm.org/docs/doxygen/html/BitcodeReader_8cpp_source.html中的第01594行定义。

2. clang（我已经成功使用了我的LLVM传递），似乎无法使用它：KLEE：ERROR：加载程序'get_sign.o'时出错：无效的bitcode签名。

你知道我能做什么吗？

另外，用Clang编译的Klee输入我已经用于我的传递会很好，但正如错误所示，它有可能吗？

提前谢谢！

Answer 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，它运行良好。