c - C语言中如何避免缓冲区溢出

Question

我尝试设置此代码以避免缓冲区溢出，但我不确定为什么它不起作用。我对此还很陌生，我们将不胜感激。

我尝试使用断言来确保它结束，但我希望断言成功

void authenticate (void) 
{
    char buffer1[8];
    int i;
    for (i = 0; i < 16; i++)
    {
        assert (i < sizeof(buffer1));
        buffer1[i] = ‘x’;
    }
}

预计断言会通过，但失败了。想要修复它而不完全重写循环。谢谢!

Answer 1

对于 assert 的具体功能似乎存在一些误解。 assert 宏对给定条件执行运行时检查。如果该条件为假，则会导致程序中止。

在这种情况下，循环内i的值范围为0到15。在 i 的值小于 8 的迭代中，断言通过。但一旦 i 变为 8，断言就会失败，导致程序中止。失败的断言不会导致程序跳过下一个循环迭代。

处理这个问题的正确方法是限制循环计数器不越界:

for (i=0; i<sizeof(buf); i++)

C 语言本身并不像其他语言那样执行边界检查。这就是它变得快速的部分原因。这也意味着该语言相信开发人员不会执行超出数组范围的读/写等操作。打破这种信任会导致 undefined behavior 。因此，您需要确保这种情况不会发生。

还有一些工具，例如 valgrind，可以帮助识别内存管理不善。