问题标签 [klee]

在构建 klee 时，我需要先为 klee 构建 uclibc。但是当我尝试制作 uclibc 时出了点问题，错误信息是：

我已经检查了相应目录的权限：

似乎所有组中的所有用户都有权访问该目录，所以这个make错误是如何发生的很奇怪......

我已经被这个问题困了一整天，任何可以提供帮助的人将不胜感激:)

我是 KLEE 的新手。

我已经安装了 klee，正确地按照说明进行操作。

如果我从教程运行程序：

我得到了预期的结果：

但是如果我想执行我的程序，我会得到：

并且没有生成输入。

似乎当前的 klee 安装不支持 C 函数，但我按照教程中的方式安装：http: //klee.llvm.org/GetStarted.html#build

使用 uclibc 和 POSIX 环境模型，它也应该能够处理函数。

有人可以帮我吗？

如果我在 klee 执行期间不使用 --libc=klee 我得到

同样的错误，其他警告。

昨天我在stackoverflow上问了一个问题，但是我没有描述清楚，所以我改变了问的方式，也许把问题说清楚了。首先，我修改了klee提供的例子get_sign.c，我将其包含unistd.h在程序中，并调用函数sleep()使线程暂停，如下

我使用“ llvm-gcc”编译get_sign.c，然后使用klee get_sign.o执行objectfile，线程不暂停，表示sleep()不工作。所以我在执行get_sign.o时添加了一个参数，像这样klee --libc=uclibc get_sign.o，不幸的是，线程仍然没有挂起，而且klee报告错误，

我能做些什么来解决这个问题？谢谢你！

我正在尝试在 ubuntu 上运行 cloud9 应用程序。但是 make 命令给了我错误

请给出任何想法如何解决这个问题？

来自https://askubuntu.com/questions/441621/cloud9-application-is-giving-error-error-ld-terminated-with-signal-11-segment的 PS 更新

我收到同样的错误“collect2: error: ld terminated with signal 11 [Segmentation fault], core dumped

http://www.doc.ic.ac.uk/~dsl11/klee-doxygen/overview.html

我正在尝试为二进制文件建模内存，所以我想看看 KLEE 如何处理它。但是，我无法理解概述中的解释。

我可以得到一个更简单的解释，并且可能是一个简单的例子来说明如何做到这一点？

I'm trying to build an open source project with llvm-gcc 4.2 with -emit-llvm flag. However I get many errors due to warning flags.

Example of these errors:

In clang I would use -Wno-error to ignore them, but that doesn't seem to work with llvm-gcc. Manually removing the flags does not seem reasonable considering that there are 144 Makefiles.

How would I approach this problem?

我已经编译Wireshark成LLVM然后我继续链接一些我也编译成的库LLVM。

我链接的库是libwsutil,libz和libpcap. 然而 KLEE 仍然给我一个未定义函数的警告libpcap。

我使用这些标志编译了 libpcap：

这些标志也适用于其他库。

可能是什么原因？

我已经在 64 位 Ubuntu 14.04.1 操作系统上安装了 boost 版本 1.54，我正在尝试使用 metaSMT 编译 KLEE。但是，我认为我的问题与 KLEE 和 metaSMT 无关，因此是问题的标题。尽管如此，我还是提出了重现错误所需的步骤。

在这一步之前，我已经使用 STP 成功构建并运行了 KLEE。我已根据此处的说明成功构建了 metaSMT 。之后，我用 metaSMT 配置了 KLEE，当我执行make ENABLED_OPTIMIZED=1命令时，我收到以下错误：

我不知道前一个No such file or directory发生的绝对路径，但我检查了我的文件系统并且有一个目录：/usr/include/c++/4.8.2/tr1其中包含文件unordered_map. 此外，我不知道如何摆脱std::tr1::附加到文件名的内容。任何帮助将不胜感激。

在程序上运行 KLEE 时遇到错误“KLEE：错误：未知内在：llvm.objectsize.i64.p0i8”。

我知道我应该在 IntrinsicCleaner pass 中添加对它的支持。但是我没有找到这个内在函数的文档。有人知道这个内在函数的目的吗？

以下是涉及该功能的LLCM代码行：
%6 = call i64 @llvm.objectsize.i64.p0i8(i8* %5, i1 false)

我需要在我的 Ubuntu 12.04 上构建 KLEE。我一步一步按照 KLEE 网站的说明进行操作。我构建了 LLVM 2.9。但是当我需要安装 klee-uclibc 并且在配置过程中，它抱怨它未能找到一个工作的 LLVM 位码编译器。这是否意味着我构建的 LLVM 不成功？我是 Linux 新手，也是测试工具的新手。任何帮助是极大的赞赏。