Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
Ubuntu 12.04 で KLEE をビルドする必要があります。私はKLEEのウェブサイトの指示に従いました。私はLLVM 2.9を構築しました。しかし、klee-uclibc をインストールする必要があり、構成の過程で、動作する LLVM ビットコード コンパイラが見つからないというエラーが表示されました。これは、LLVM のビルドが失敗したということですか? 私は Linux が初めてで、テスト ツールも初めてです。どんな助けでも大歓迎です。