0

我对 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 是新用户报告的最常见的构建错误来源。”

有人像我一样遇到这种情况吗？

4

2 回答 2

2

您在网上找到的解释是告诉您将库添加到您的PATH变量中。这是 Windows 操作系统的环境（系统）变量，因此如果您运行的是 Windows 以外的其他东西，此解决方案将无济于事。

假设您正在PATH运行 Windows，您可以通过以下方式将其添加到您的系统中：

如果您使用的是 Windows 10：

  1. 右键开始。
  2. 点击“系统”。
  3. 单击“高级系统设置”（在左侧边栏中）。
  4. 单击“高级”选项卡下的“环境变量”。
  5. 在那里你会看到一个名为Path“系统变量”的变量；选择它。
  6. 点击“编辑”。
  7. 点击“新建”。
  8. 将路径添加到您的库。

如果您使用的是旧版本的 Windows，则步骤相同，直到第 7 步。在那里，您无需单击“新建”，而是将路径添加到字符串的末尾，并以;. 所以它看起来像这样previous\path;your\new\path。

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

于 2016-05-16T14:48:31.370 回答
0

您可以使用 commandclang -emit-llvm -c -g get_sign.c -I../../include获取位码文件 get_sign.bc，然后使用 command 运行 klee klee get_sign.bc。

于 2016-06-10T11:07:07.193 回答