使用KLEE错误运行

Question

我对Klee很陌生，所以我开始做教程。

如果用于编译，则使用：

1. llvm-gcc -发出-llvm -c -g get_sign.c，然后尝试使用klee get_sign.o运行，得到错误: KLEE: ERROR:错误加载程序' get _sign.o'：无效的MODULE_CODE_GLOBALVAR记录。该错误在BitcodeReader.cpp文件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与LLVM2.9完全兼容。提到："KLEE目前只在Linux x86-32和x86-64目标上进行测试，使用的是LLVM 2.9，而KLEE不适用于较旧的LLVM版本(例如2.5)，也可能无法使用较新的版本(例如3.0)。“我在LLVM 2.9上安装了Klee，它运行得很好。