c - 堆缓冲区溢出——这是地址清理程序的误报吗？

Question

我有以下简单的程序

void copy(const int16_t *buffer) {
    int16_t *b;
    memcpy(b,buffer,2);
    return ;
}


int LLVMFuzzerTestOneInput(const int16_t *buffer) {
  copy(buffer);
  return 0;
}

我使用 clang (v9) 使用地址清理器和模糊器标志进行编译，如下所示

clang -fsanitize=address,fuzzer -g test5.c

当我运行生成的可执行文件时，模糊器发现由于无效读取而导致堆缓冲区溢出 - 特别是在尝试复制 memcpy 中的第二个字节时。

我真的无法理解为什么这是一个错误。有什么解释吗？预先感谢您。

Answer 1

由于当您memcpy时b未初始化，因此您正在调用未定义的行为。从字面上看，“您想将该数据复制到哪里？”

sanitizer 是正确的，指出这个问题对你来说是一个很大的帮助。

复制函数的用途是什么？