klee LLVM 3.4運行示例錯誤

Question

我對KLEE很新鮮，並試圖安裝並測試它。 我按步驟操作了手動步驟，似乎也沒有例外錯誤，但是這個問題是怎麼發生的？

這裏是命令我輸入：

dazenhom@dazenhom-ThinkPad-S3-S440:~/Desktop/stp/klee/examples$ llvm-gcc --emit-llvm -c -g get_sign.c 
gcc-4.7: error: unrecognised command line option ‘--emit-llvm’ 
gcc-4.7: error: get_sign.c: No such file or directory 
gcc-4.7: fatal error: no input files 
compilation terminated. 

我搜索在網絡上的答案，但不明白這樣的解釋：

「LLVM-GCC添加到您的PATH這是非常重要的。首先這樣做，以便在隨後的配置步驟中找到llvm-gcc llvm-gcc稍後將用於編譯KLEE可以執行的程序。在這一點上忘記添加llvm-gcc到PATH是迄今爲止最常見的構建新用戶報告的錯誤。「

有人會遇到像我這樣的情況嗎？

Answer 1

您在網上找到的解釋是告訴您將該庫添加到您的PATH變量中。這是Windows操作系統的環境（系統）變量，因此如果您運行的不是Windows，該解決方案不會對您有所幫助。

假設你是運行Windows，你可以把它添加到您的PATH方式如下：

如果你使用的是Windows 10：

1. 右鍵單擊開始。
2. 點擊「系統」。
3. 單擊「高級系統設置」（位於左側邊欄）。
4. 單擊「高級」選項卡下的「環境變量」。
5. 在那裏你會看到一個名爲「系統變量」下的變量Path;選擇它。
6. 點擊「編輯」。
7. 點擊「新建」。
8. 將路徑添加到您的庫。

如果你使用的是Windows的一箇舊版本的步驟是一樣的，直到第7步了，而不是點擊「新建」你的路徑添加到字符串的結尾，由;分隔。所以它看起來像這樣previous\path;your\new\path。

如果您需要更多信息，請嘗試查看this問題或this關於設置環境變量的問題。

Answer 2

您可以使用命令clang -emit-llvm -c -g get_sign.c -I../../include獲取位碼文件get_sign.bc，然後使用命令klee get_sign.bc運行klee。