LLVM + KLEE:在模块中找不到“主要”功能

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.