我试图为一个项目设置 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.
任何想法都会被重视。