KLEE未发现未初始化的变量错误

Question

我现在正在学习KLEE，我写了一个简单的代码：

#include "klee/klee.h"
#include <stdio.h>
#include <stdlib.h>
int test(int *p)
{
    int *q = (int *) malloc(sizeof(int));
    if ((*p) == (*q)) {
       printf("reading uninitialized heap memory");
    }
    return 0;
}

int main()
{
    int *p = (int *) malloc(sizeof(int));
    test(p);
    return 0;
}

首先，我生成LLVM位码，然后执行KLEE到位码。以下是所有输出：

KLEE: output directory is "/Users/yjy/WorkSpace/Test/klee-out-13"
Using STP solver backend
KLEE: WARNING: undefined reference to function: printf
KLEE: WARNING ONCE: calling external: printf(140351601907424)
reading uninitialized heap memory
KLEE: done: total instructions = 61
KLEE: done: completed paths = 4
KLEE: done: generated tests = 4

我想 KLEE 应该给我一个错误，即 q 指针未初始化，但它没有。为什么 KLEE 没有给我一个错误或警告？KLEE 无法检测到此错误？提前感谢！

Answer 1

TLTR：KLEE尚未实现此功能。Clang可以直接检查这一点。

KREE目前支持添加/子/多/分部溢出检查。要使用此功能，您必须使用 clang -fsanitize=signed-integer-overflow 或 clang -fsanitize=unsigned-integer-overflow 编译源代码。

这个想法是，当您使用clang消毒器时，函数调用入到字节码中（例如__ubsan_handle_add_overflow）。然后，一旦满足函数调用，KLEE 将处理溢出检查。

叮当支持 内存清理器，地址清理器未定义行为清理器。它们在 projects/compiler-rt/lib 目录中定义。内存清理器是您正在寻找的那个，它是未初始化读取的检测器。

您可以删除 KLEE 函数调用并直接与 clang 进行检查。

➜  ~ clang -g -fsanitize=memory st.cpp
➜  ~ ./a.out
==16031==WARNING: MemorySanitizer: use-of-uninitialized-value
    #0 0x490954  (/home/hailin/a.out+0x490954)
    #1 0x7f21b72f382f  (/lib/x86_64-linux-gnu/libc.so.6+0x2082f)
    #2 0x41a1d8  (/home/hailin/a.out+0x41a1d8)
SUMMARY: MemorySanitizer: use-of-uninitialized-value (/home/hailin/a.out+0x490954)
Exiting