1

Ubuntu 12.04 で KLEE をビルドする必要があります。私はKLEEのウェブサイトの指示に従いました。私はLLVM 2.9を構築しました。しかし、klee-uclibc をインストールする必要があり、構成の過程で、動作する LLVM ビットコード コンパイラが見つからないというエラーが表示されました。これは、LLVM のビルドが失敗したということですか? 私は Linux が初めてで、テスト ツールも初めてです。どんな助けでも大歓迎です。

4

1 に答える 1