使用KLEE錯誤運行

Question

我是Klee的新手，所以我開始製作教程。

如果編譯使用：

1. LLVM-GCC --emit-LLVM -c -g get_sign.c，然後我嘗試使用克利get_sign.o我得到的錯誤運行：KLEE：錯誤：錯誤加載程序'get_sign.o'：無效的MODULE_CODE_GLOBALVAR記錄。該錯誤是在BitcodeReader.cpp文件http://llvm.org/docs/doxygen/html/BitcodeReader_8cpp_source.html定義的行01594.

2. 鐺（我已經成功地用於我的LLVM通過），似乎是不可能使用它：KLEE：錯誤：錯誤加載程序'get_sign.o'：無效的位碼簽名。

你知道我能做什麼嗎？

此外，將克萊輸入與克萊恩編譯，我已經用於我的通行證將是很好的，但作爲錯誤提示，這是可能的？

預先感謝您！

Answer 1

問題是我在LLVM 3.1上安裝了Klee。在http://klee.llvm.org/GetStarted.html的說明中提到，Klee與LLVM 2.9完全兼容。它提到：「KLEE目前僅在Linux x86-32和x86-64目標上測試，使用LLVM 2.9.KLEE不適用於較舊的LLVM版本（例如2.5），並且可能不適用於較新版本（例如3.0 ）「。 我在LLVM 2.9上安裝了Klee，它工作正常。