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：

右键单击开始。
点击“系统”。
点击“高级系统设置”（在左侧边栏中）。
点击“高级”标签下的“环境变量”。
在“System Variables”下会看到一个名为Path的变量;选择它。
点击“修改”。
点击“新建”。
将路径添加到您的库中。

如果您使用的是较旧版本的Windows，则步骤与第7步相同。不是单击“新建”，而是将路径添加到字符串末尾，由;分隔。所以它看起来像previous\path;your\new\path。

如果您需要更多信息，请尝试查看this问题，或this关于设置环境变量的问题。

Answer 2

您可以使用命令clang -emit-llvm -c -g get_sign.c -I../../include获取bitcode文件get_sign.bc，然后使用命令klee get_sign.bc运行klee。

klee LLVM 3.4运行示例错误

2 个答案: