klee LLVM 3.4実行例エラー

Question

私はKLEEには新鮮で、インストールしてテストしようとしました。 手作業で手順を追って作業しましたが、それは例外ではないようですが、どのようにこの問題が発生しましたか？ここ

は、コマンドI入力である：私は、ウェブ上で答えを探し

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. 

が、この説明を理解していない：

「PATHにLLVM-GCCを追加し、それが重要です。 llvm-gccは後でconfigureのステップで見つけられるように最初に実行してください.llvm-gccは後でKLEEが実行できるプログラムをコンパイルするために使用されます。この時点でPATHにllvm-gccを追加するのを忘れることは、新しいユーザーによって報告されたビルドエラー。

誰かがこのような状況に遭遇していますか？

Answer 1

あなたがPATH変数にライブラリを追加するように指示されているという説明があります。これはWindowsオペレーティングシステム用の環境（システム）変数です。したがって、Windows以外のものを実行している場合、このソリューションは役に立ちません。あなたは、Windows 10を使用している場合

：

1. 右クリックスタートをあなたにと仮定すると

   はあなたPATH次のように追加することができ、Windowsを実行しているあります。

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を実行することができます。