klee

1熱

1答えて

C++14のプログラムでkleeを使用することはできません。 llvm-3.4はサポートしていません。しかし、私は、C++ 14プログラムでkleeを使用できるようになる方法、トリック、実験的なバージョンなどがあるかどうかを知りたいと思います。

0熱

1答えて

KLEEが初期化されていない変数エラー私は今KLEEを勉強

が見つからないと、私は単純なコードを書いた： #include "klee/klee.h" #include <stdio.h> #include <stdlib.h> int test(int *p) { int *q = (int *) malloc(sizeof(int)); if ((*p) == (*q)) { printf("reading

0熱

2答えて

klee LLVM 3.4実行例エラー

私はKLEEには新鮮で、インストールしてテストしようとしました。手作業で手順を追って作業しましたが、それは例外ではないようですが、どのようにこの問題が発生しましたか？ここは、コマンドI入力である：私は、ウェブ上で答えを探し [email protected]:~/Desktop/stp/klee/examples$ llvm-gcc --emit-llvm -c -g get_sign.c

0熱

1答えて

アサーションが見つからなかった場合にKLEEがパスの探索を停止する方法

アサーションが1回実行で失敗した場合、KLEEはそれを報告してから無視し、他の実行を探し続けます。それから私の質問になる：アライメントが見つからないときにKLEEに検索を停止させるための設定やトリックはありますか？または、ソースコードを変更してKLEEを再構築して実装する必要がありますか？感動的なソリューションに期待してください。前もって感謝します！

0熱

2答えて

バイナリ上のシンボリック実行用ツール

バイナリ上のシンボリック実行用のツールはありますか？事前