klee LLVM 3.4运行示例错误

Question

我刚接触KLEE，并尝试安装和测试它。我一步一步地使用了手册，似乎没有例外的错误，但是这个问题是如何发生的呢？

下面是我输入的命令：

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.

我在网上寻找答案，但不明白这个解释：

“将llvm-gcc添加到您的路径中。首先执行此操作非常重要，这样才能在后续的配置步骤中找到llvm-gcc。llvm-gcc稍后将用于编译KLEE可以执行的程序。到目前为止，忘记将llvm-gcc添加到您的路径中是新用户报告的构建错误的最常见来源。”

有没有人遇到过像我这样的情况？

Answer 1

您在web上找到的解释是告诉您将库添加到您的PATH变量中。这是一个适用于Windows操作系统的环境(系统)变量，因此如果您运行的是Windows以外的其他系统，此解决方案将不会对您有所帮助。

假设你运行的是Windows，你可以用下面的方法将它添加到你的PATH中：

如果您使用的是Windows 10：

1. 右键单击“开始”。
2. 单击"System".
3. Click“高级系统设置”(在“高级”选项卡下的左侧sidebar).
4. Click“环境变量”中。
5. 在此处，您将在“系统变量”下看到一个名为Path的变量；将其选中。
6. 单击“新建”。<代码>H217<代码>H118将路径添加到您的库中。<代码>H219<代码>G220

如果你使用的是旧版本的视窗系统，这些步骤在第七步之前是一样的，不是点击“新建”，而是将路径添加到字符串的末尾，并用;分隔。所以它看起来像这样的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。