LLVM + KLEE:在模块中找不到'main‘函数

Question

我正在尝试为一个项目设置Klee，但在根据http://klee.llvm.org/TestingCoreutils.html测试coreutils时遇到了困难

src$ $KLEE cut.bc
'main' function not found in module.
*** glibc detected *** /home/klee/Development//klee-build/Debug+Asserts/bin/klee:    double free or corruption (!prev): 0x0000000003a79850 ***

问题很可能出在llvm构建本身，而不是Klee，因为当我使用llvm-dis对.bc文件进行拆分时，只有模块ID在那里，没有实际的代码

看看构建输出，让我感到奇怪的是：

Potential incompatible plugin version. GCC: 4.6 (20120301). Expected: 4.6 (20120301)
Defines 'dragonegg_disable_version_check' as env variable to remove this warning
Please note that unexpected errors might occur.

任何想法都是值得称赞的。

Answer 1

问题出在您的LLVM版本上。KLEE还不兼容llvm3.0或更高版本。尝试构建llvm 2.7中的一个。2.9。