我是Klee的新手，所以我开始制作教程。
如果用于编译，我使用：
-
llvm gcc--发出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行。
-
clang(我已成功用于LLVM通行证(，似乎无法使用它：KLEE:ERROR:加载程序'get_sign.o'时出错：无效的位代码签名。
你知道我能做什么吗？
此外，如果能提供用Clang编译的Klee输入，我已经在传球中使用过了，那就太好了，但正如错误所示，这是可能的吗？
提前谢谢！
问题是我在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，它运行得很好。