请教，这段 C 代码有什么安全问题吗？

[tylerdurden]

bool TestMe(const uint8_t *Data, size_t DataSize) {
  return DataSize >= 3 &&
      Data[0] == 'T' &&
      Data[1] == 'E' &&
      Data[2] == 'S' &&
      Data[3] == 'T';  // :‑<
}

[veelog]

去掉等号就完美了，不过 c 怎么还有布尔类型

[veelog]

作为给别人点用的接口的话还是判断下 Data!=NULL

[tylerdurden]

@veelog 代码来自 https://github.com/google/fuzzer-test-suite/blob/master/tutorial/fuzz_me.cc ，报了一个堆溢出，死活没看出来。

[ddaii]

当 DataSize = 3 时 ，Data[3] 不就是溢出了吗？

[1919yuan]

如果 Data pointer valid，但是长度只有 3 的话，这段测试在测试 access 第四个位置会报错，over flow。如果 Data pointer 是 null 或者 0xcccccccd 之类被释放的指针，那么这段测试应该会报释放后使用的错误。前提是你使用 fuzzer-test-suite 来测试这段代码。

[tylerdurden]

@1919yuan 学习了，感谢！

[ACool]

@veelog c99 加了布尔类型

[mengyaoss77]

还是要加错误处理， 在函数内部判断一下指针是否有效

[ysc3839]

@veelog #include <stdbool.h>

[yksoft1]

@mengyaoss77 问题是不太好判断 Data 是否是野指针。

[dorentus]

这不是 C 是 C++