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添加到您的PATH这是非常重要的。首先这样做，以便在随后的配置步骤中找到llvm-gcc llvm-gcc稍后将用于编译KLEE可以执行的程序。在这一点上忘记添加llvm-gcc到PATH是迄今为止最常见的构建新用户报告的错误。“

有人会遇到像我这样的情况吗？

Answer 1

您在网上找到的解释是告诉您将该库添加到您的PATH变量中。这是Windows操作系统的环境（系统）变量，因此如果您运行的不是Windows，该解决方案不会对您有所帮助。

假设你是运行Windows，你可以把它添加到您的PATH方式如下：

如果你使用的是Windows 10：

1. 右键单击开始。
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。