损坏调用堆栈的C / C ++代码

时间:2012-04-06 09:41:46

标签: c++ callstack

是否有可能通常的代码在c / c ++中损坏调用堆栈? 我不是指某种黑客或某种东西,只是一种疏忽的错误或其他东西,而不是随意的,这样每次都会损害它。 有人告诉我,一位前同事管理但我不认为这是可能的。 有人有这样的经历吗?

2 个答案:

答案 0 :(得分:6)

是的,很简单。事实上,这是一个非常常见的问题。考虑一下:

void foo()
{
    int i;
    int *p = &i;
    p -= 5; // now point somewhere god knows where, generally undefined behavior
    *p = 0; // boom, on different compilers will end up with various bad things,
       // including potentially trashing the call stack
}

本地数组/缓冲区的边界外访问的许多情况最终都会产生已删除的堆栈。

答案 1 :(得分:6)

是。在许多平台上,局部变量与调用堆栈一起存储;在这种情况下,在局部数组外写一个很容易破坏它的方法:

void evil() {
    int array[1];
    std::fill(array, array+1000000, 0);
    return; // BOOM!
}

更巧妙的是,返回对局部变量的引用可能会破坏稍后调用的函数的堆栈:

int & evil() {
    int x;
    return x;
}
void good(int & x) {
    x = 0;
    return; // BOOM!
}
void innocent() {
    good(evil());
}

请注意,这些(以及其他任何可能损坏堆栈的内容)都不合法;但编译器不必诊断它们。幸运的是,只要您启用适当的警告,大多数编译器都会发现这些错误。