我需要在我的 Ubuntu 12.04 上构建 KLEE。我按照KLEE网站的指示一步一步地操作。我构建了LLVM 2.9。但是当我需要安装 klee-uclibc 并在配置过程中，它抱怨它找不到有效的 LLVM 位码编译器。这是否意味着我的 LLVM 构建不成功？我是 Linux 的新手，也是测试工具的新手。任何帮助将不胜感激。
我遇到了同样的问题，但仔细查看 klee 文档帮助我解决了它。特别是看步骤（02）（01）：
安装 llvm-gcc： 从这里下载并安装 llvm-gcc 的 LLVM 2.9 版本。在x86-64 Linux平台上，您将需要用于Linux x86-64的存档LLVM-GCC 4.2前端二进制文件。 将 llvm-gcc 添加到您的 PATH 中。首先执行此操作非常重要，以便在后续配置步骤中找到 llvm-gcc。llvm-gcc稍后将用于编译KLEE可以执行的程序。此时忘记将 llvm-gcc 添加到您的 PATH 是迄今为止新用户报告的构建错误的最常见来源。
因此，请确保安装了 llvm-gcc 并为可执行文件提供了 PATH。