klee

1熱度

1回答

KLEE：錯誤：unknown內部：llvm.objectsize.i64.p0i8

在程序上運行KLEE時遇到錯誤「KLEE：ERROR：unknown intrinsic：llvm.objectsize.i64.p0i8」。我知道我應該在IntrinsicCleaner過程中添加對它的支持。但是我沒有找到這個內在函數的文檔。有人知道這個內在功能的目的嗎？下面是LLCM代碼涉及的功能行： %6 = call i64 @llvm.objectsize.i64.p0i8(i8*

-1熱度

1回答

如何使用符號執行來查找錯誤，例如SAGE，KLEE，S2E

就像標題一樣，任何人都知道這些工具用於查找錯誤的方式的區別？ kLEE和SAGE可能會發現無界限的訪問和緩衝區溢出，KLEE可以使用斷言，但有其他方法嗎？

0熱度

1回答

KLEE轉換非符號變量符號

我怎樣才能轉換爲非符號變量在KLEE

1熱度

1回答

klee on C++ 14個程序

據我所知，我不能在C++14的程序中使用klee，因爲 llvm-3.4不支持它。但是，我想知道是否有任何方法，技巧，實驗版本等，這將允許我在C++ 14程序上使用klee。

0熱度

1回答

爲什麼函數sleep（）在klee執行Objectfile時無法工作？

昨天我問了一個關於stackoverflow的問題，但我沒有清楚地描述它，所以我改變了問題的方式，或許可以讓問題清楚。首先，我修改的例子get_sign.c其中克利提供，包括我在節目中unistd.h，並調用該函數sleep()，以使線程暫停，具體如下 /* * First KLEE tutorial: testing a small function */ #include <unist

1熱度

1回答

如何用jdk運行klee？

我是KLEE的新手，我想在java中運行klee工具，請告訴我是否可以在java中運行KLEE？是的，請給我看一些教程。

0熱度

2回答

klee LLVM 3.4運行示例錯誤

我對KLEE很新鮮，並試圖安裝並測試它。我按步驟操作了手動步驟，似乎也沒有例外錯誤，但是這個問題是怎麼發生的？這裏是命令我輸入： [email protected]:~/Desktop/stp/klee/examples$ llvm-gcc --emit-llvm -c -g get_sign.c gcc-4.7: error: unrecognised command line optio

1熱度

1回答

如何解決KLEE安裝錯誤？與「subprocess.py」

我用下面的指令從http://klee.github.io/getting-started/ 安裝KLEE我已經來到步驟04：--make的./configure，LLVM-lib的然而，當我運行該命令出現以下錯誤： INFO:Disabling assertions INFO:Configuring for Debug build INFO:Configuring

2熱度

1回答

運行cloud9時出錯「錯誤：ld以信號11終止」

我想在ubuntu上運行cloud9應用程序。然而，使命令給我錯誤 llvm[2]: Linking Release+Asserts executable klee (without symbols) collect2: error: ld terminated with signal 11 [Segmentation fault], core dumped make[2]: *** [/ho

1熱度

1回答

檢查C LLVM位碼編譯器工作... /xxx/llvm-3.4/Release+Asserts/bin/llvm-dis：值的類型無效

當我嘗試在installing Klee之前安裝LLVM 3.4時出現此錯誤。源代碼從LLVM官方網站下載並解壓縮到Klee的單獨文件。 llvm-3.4目錄中的Makefile用於構建LLVM。要建立克利，第一： ./configure --with-llvm=/home/zhangysh1995/work/llvm-3.4/ --wi th-stp=/home/zhangysh1995/