プロジェクト用に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 ***
問題は、Kleeではなくllvmビルド自体にある可能性が高いです。これは、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.
どんなアイデアも評価されます。