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

This topic created in 3301 days ago, the information mentioned may be changed or developed.

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

Data

datasize

size_t

const

11 replies • 2017-10-21 15:14:18 +08:00

veelog

Oct 20, 2017 via iPhone

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

veelog

Oct 20, 2017 via iPhone

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

tylerdurden

Oct 20, 2017

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

ddaii

Oct 20, 2017

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

1919yuan

Oct 20, 2017 via Android

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

tylerdurden

Oct 20, 2017

@1919yuan 学习了，感谢！