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。