LLVM + KLEE: «Основная» функция не найдена в модуле

Question

Im пытается создать Кли для проекта и Im впадающих трудности при тестировании Coreutils согласно http://klee.llvm.org/TestingCoreutils.html

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 строить себя, не Клей, потому что когда я dissasemble в .bc файлов с LLVM-DIS, только модуль 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.