Question

在一个复杂的程序中，我遇到了一个堆栈粉碎错误，粘贴在下面。我很难找到它发生的地方。我使用printf-debugging找到了函数，并注意到函数返回时实际发生了检查（执行返回之前的printf，函数调用之后的printf）。

然而，这是一个巨大的功能;我已经阅读了所有内容，但没有发现任何堆栈溢出的机会。因此，我需要更好地估计错误的位置。我该如何进一步调试？

我认为如果我可以在堆栈粉碎检测内存上添加一个调试器观察点是最简单的，所以它会在粉碎时而不是在函数返回时中断执行。如果是这样，我怎么知道这是哪个内存？

对于那些想要查看源代码的人，我建议在Stack Overflow上查看任何堆栈粉碎问题。如果你真的想看到我正在使用的代码，请获取freedink源代码（违规函数是updateFrame）。

更新

在gcc-patches列表中，这个问题在2009年是discussed。但它似乎没有得出结论。当我在gdb中说“info locals”时，至少我没有看到任何名称（正如在该线程中的某处建议的那样）。如果有人可以告诉我如何找到这个__stack_guard__（这是不起作用的，因为它被拒绝了），那将回答我的问题。

下次更新

好的，经过大量的搜索，我发现了一些完全出乎意料的事情。从堆栈回溯中可以看出，退出libSDL函数时会检测到堆栈粉碎。现在通常SDL函数工作正常，并且freedink充满了bug。所以我甚至不认为我可以在SDL中遇到错误。但是，我似乎做到了。它试图播放midi文件。如果我将一个不同的midi文件复制到它的位置，该程序工作正常。

所以我目前的问题已经解决了，但

*** stack smashing detected ======= Backtrace: ========= /lib/i386-linux-gnu/i686/cmov/libc.so.6(__for /lib/i386-linux-gnu/i686/cmov/libc.so.6(+0xea /usr/lib/i386-linux-gnu/libSDL_mixer-1.2.so.0 /usr/lib/i386-linux-gnu/libSDL_mixer-1.2.so.0 ======= Memory map: ======== 08048000-0808b000 r-xp 00000000 08:02 4333161 0808b000-0808c000 rw-p 00042000 08:02 4333161 0808c000-0841d000 rw-p 00000000 00:00 0 09fa9000-0b2de000 rw-p 00000000 00:00 0 afda8000-b09e5000 rw-p 00000000 00:00 0 b0a00000-b0a21000 rw-p 00000000 00:00 0 b0a21000-b0b00000 ---p 00000000 00:00 0 b0ba7000-b0bc3000 r-xp 00000000 08:02 6422698 b0bc3000-b0bc4000 rw-p 0001b000 08:02 6422698 b0bea000-b0bec000 rw-p 00000000 00:00 0 b0bec000-b0bed000 r--p 00000000 08:02 4361451 b0bed000-b0e69000 rw-p 00000000 00:00 0 b0ea2000-b127f000 rw-p 00000000 00:00 0 b12d7000-b12f0000 rw-p 00000000 00:00 0 b130e000-b1330000 r--p 00000000 08:02 4348594 b13a1000-b13dd000 rw-p 00000000 00:00 0 b13fa000-b13fb000 ---p 00000000 00:00 0 b13fb000-b1bfb000 rw-p 00000000 00:00 0 b1bfb000-b1c05000 r--p 00000000 08:02 4355730 b1c05000-b5c06000 rw-s 00000000 00:11 1297260 b5c06000-b5c9f000 rw-p 00000000 00:00 0 b5c9f000-b5dcb000 rw-s 00000000 00:04 1900555 b5dcb000-b5e22000 rw-p 00000000 00:00 0 b5e35000-b5ecd000 rw-p 00000000 00:00 0 b5ecd000-b5ed2000 r-xp 00000000 08:02 4332397 b5ed2000-b5ed3000 rw-p 00004000 08:02 4332397 b5ed3000-b5edb000 r-xp 00000000 08:02 4342806 b5edb000-b5edc000 rw-p 00008000 08:02 4342806 b5edc000-b5ee5000 r-xp 00000000 08:02 4336027 b5ee5000-b5ee6000 rw-p 00009000 08:02 4336027 b5ee6000-b5ee7000 ---p 00000000 00:00 0 b5ee7000-b66e7000 rw-p 00000000 00:00 0 b66e7000-b685e000 r--p 00000000 08:02 4338396 b685e000-b6862000 rw-p 00000000 00:00 0 b6862000-b6872000 r-xp 00000000 08:02 6554164 b6872000-b6873000 r--p 00010000 08:02 6554164 b6873000-b6874000 rw-p 00011000 08:02 6554164 b6874000-b6876000 rw-p 00000000 00:00 0 b6876000-b69dc000 r-xp 00000000 08:02 4327161 b69dc000-b69ed000 r--p 00165000 08:02 4327161 b69ed000-b69ee000 rw-p 00176000 08:02 4327161 b69ee000-b69ef000 rw-p 00000000 00:00 0 b69ef000-b6a02000 r-xp 00000000 08:02 6554172 b6a02000-b6a03000 r--p 00012000 08:02 6554172 b6a03000-b6a04000 rw-p 00013000 08:02 6554172 b6a04000-b6a06000 rw-p 00000000 00:00 0 b6a06000-b6a14000 r-xp 00000000 08:02 4334619 b6a14000-b6a15000 rw-p 0000d000 08:02 4334619 b6a15000-b6a19000 r-xp 00000000 08:02 6422575 b6a19000-b6a1a000 r--p 00003000 08:02 6422575 b6a1a000-b6a1b000 rw-p 00004000 08:02 6422575 b6a1b000-b6a20000 r-xp 00000000 08:02 4331837 b6a20000-b6a21000 rw-p 00004000 08:02 4331837 b6a21000-b6a23000 r-xp 00000000 08:02 4330387 b6a23000-b6a24000 rw-p 00001000 08:02 4330387 b6a24000-b6a25000 rw-p 00000000 00:00 0 b6a25000-b6a29000 r-xp 00000000 08:02 6423604 b6a29000-b6a2a000 r--p 00003000 08:02 6423604 b6a2a000-b6a2b000 rw-p 00004000 08:02 6423604 b6a2b000-b6a30000 r-xp 00000000 08:02 4331630 b6a30000-b6a31000 rw-p 00004000 08:02 4331630 b6a31000-b6a9e000 r-xp 00000000 08:02 4375323 b6a9e000-b6aa0000 r--p 0006c000 08:02 4375323 b6aa0000-b6aa1000 rw-p 0006e000 08:02 4375323 b6aa1000-b6aa5000 rw-p 00000000 00:00 0 b6aa5000-b6aad000 r-xp 00000000 08:02 6422615 b6aad000-b6aae000 r--p 00007000 08:02 6422615 b6aae000-b6aaf000 rw-p 00008000 08:02 6422615 b6aaf000-b6ab4000 r-xp 00000000 08:02 4331851 b6ab4000-b6ab5000 rw-p 00004000 08:02 4331851 b6ab5000-b6ab6000 rw-p 00000000 00:00 0 b6ab6000-b6abd000 r-xp 00000000 08:02 4332239 b6abd000-b6abe000 rw-p 00006000 08:02 4332239 b6abe000-b6ad4000 r-xp 00000000 08:02 4332225 b6ad4000-b6ad6000 rw-p 00015000 08:02 4332225 b6ad6000-b6ad7000 rw-p 00000000 00:00 0 b6ad7000-b6ad8000 r-xp 00000000 08:02 4326690 b6ad8000-b6ad9000 rw-p 00000000 08:02 4326690 b6ad9000-b6af6000 r-xp 00000000 08:02 6423599 b6af6000-b6af8000 r--p 0001c000 08:02 6423599 b6af8000-b6af9000 rw-p 0001e000 08:02 6423599 b6af9000-b6b2a000 r-xp 00000000 08:02 6423581 b6b2a000-b6b2b000 r--p 00030000 08:02 6423581 b6b2b000-b6b2c000 rw-p 00031000 08:02 6423581 b6b2c000-b6b2d000 rw-p 00000000 00:00 0 b6b2d000-b6c15000 r-xp 00000000 08:02 6423605 b6c15000-b6c17000 r--p 000e8000 08:02 6423605 b6c17000-b6c26000 rw-p 000ea000 08:02 6423605 b6c26000-b6c60000 rw-p 00000000 00:00 0 b6c60000-b6c81000 r-xp 00000000 08:02 4331073 b6c81000-b6c82000 r--p 00020000 08:02 4331073 b6c82000-b6c83000 rw-p 00021000 08:02 4331073 b6c83000-b6ccc000 r-xp 00000000 08:02 6422562 b6ccc000-b6ccd000 ---p 00049000 08:02 6422562 b6ccd000-b6cce000 r--p 00049000 08:02 6422562 b6cce000-b6ccf000 rw-p 0004a000 08:02 6422562 b6ccf000-b6cd7000 r-xp 00000000 08:02 4327592 b6cd7000-b6cd8000 r--p 00007000 08:02 4327592 b6cd8000-b6cd9000 rw-p 00008000 08:02 4327592 b6cd9000-b6cdd000 r-xp 00000000 08:02 6423193 b6cdd000-b6cde000 rw-p 00003000 08:02 6423193 b6cde000-b6cdf000 rw-p 00000000 00:00 0 b6cdf000-b6d45000 r-xp 00000000 08:02 4339765 b6d45000-b6d46000 r--p 00065000 08:02 4339765 b6d46000-b6d47000 rw-p 00066000 08:02 4339765 b6d47000-b6d4e000 r-xp 00000000 08:02 6554189 b6d4e000-b6d4f000 r--p 00006000 08:02 6554189 b6d4f000-b6d50000 rw-p 00007000 08:02 6554189 b6d50000-b6d5b000 r-xp 00000000 08:02 4330586 b6d5b000-b6d5e000 rw-p 0000b000 08:02 4330586 b6d5e000-b6d64000 r-xp 00000000 08:02 4333085 b6d64000-b6d65000 rw-p 00005000 08:02 4333085 b6d65000-b6d66000 rw-p 00000000 00:00 0 b6d66000-b6d8c000 r-xp 00000000 08:02 6426268 b6d8c000-b6d8d000 ---p 00026000 08:02 6426268 b6d8d000-b6d8f000 r--p 00026000 08:02 6426268 b6d8f000-b6d90000 rw-p 00028000 08:02 6426268 b6d90000-b6da5000 r-xp 00000000 08:02 6553829 b6da5000-b6da6000 r--p 00014000 08:02 6553829 b6da6000-b6da7000 rw-p 00015000 08:02 6553829 b6da7000-b6da9000 rw-p 00000000 00:00 0 b6da9000-b6dab000 r-xp 00000000 08:02 4338554 b6dab000-b6dac000 rw-p 00001000 08:02 4338554 b6dac000-b6e73000 r-xp 00000000 08:02 4326574 b6e73000-b6e74000 rw-p 000c6000 08:02 4326574 b6e74000-b6e79000 rw-p 00000000 00:00 0 b6e79000-b6e8f000 r-xp 00000000 08:02 4353038 b6e8f000-b6e90000 rw-p 00016000 08:02 4353038 b6e90000-b6e91000 rw-p 00000000 00:00 0 b6e91000-b6e9a000 r-xp 00000000 08:02 4353034 b6e9a000-b6e9b000 rw-p 00008000 08:02 4353034 b6e9b000-b6f1e000 r-xp 00000000 08:02 4353040 b6f1e000-b6f21000 rw-p 00082000 08:02 4353040 b6f21000-b6f32000 r-xp 00000000 08:02 4325458 b6f32000-b6f33000 rw-p 00010000 08:02 4325458 b6f33000-b7067000 r-xp 00000000 08:02 4327567 b7067000-b706b000 rw-p 00133000 08:02 4327567 b706b000-b70b9000 r-xp 00000000 08:02 4339764 b70b9000-b70ba000 r--p 0004d000 08:02 4339764 b70ba000-b70bb000 rw-p 0004e000 08:02 4339764 b70bb000-b70bc000 rw-p 00000000 00:00 0 b70bc000-b70bf000 r-xp 00000000 08:02 4330214 b70bf000-b70c0000 r--p 00002000 08:02 4330214 b70c0000-b70c1000 rw-p 00003000 08:02 4330214 b70c1000-b71b4000 r-xp 00000000 08:02 4328460 b71b4000-b71b8000 r--p 000f2000 08:02 4328460 b71b8000-b71b9000 rw-p 000f6000 08:02 4328460 b71b9000-b7250000 r-xp 00000000 08:02 4330930 b7250000-b7254000 r--p 00096000 08:02 4330930 b7254000-b7255000 rw-p 0009a000 08:02 4330930 b7255000-b7283000 r-xp 00000000 08:02 4327431 b7283000-b7284000 r--p 0002d000 08:02 4327431 b7284000-b7285000 rw-p 0002e000 08:02 4327431 b7285000-b7288000 rw-p 00000000 00:00 0 b7288000-b729f000 r-xp 00000000 08:02 6422674 b729f000-b72a0000 r--p 00016000 08:02 6422674 b72a0000-b72a1000 rw-p 00017000 08:02 6422674 b72a1000-b72a2000 rw-p 00000000 00:00 0 b72a2000-b7304000 r-xp 00000000 08:02 4328894 b7304000-b7305000 ---p 00062000 08:02 4328894 b7305000-b7307000 r--p 00062000 08:02 4328894 b7307000-b7308000 rw-p 00064000 08:02 4328894 b7308000-b7340000 r-xp 00000000 08:02 4325500 b7340000-b7341000 rw-p 00037000 08:02 4325500 b7341000-b7369000 r-xp 00000000 08:02 6422719 b7369000-b736a000 r--p 00027000 08:02 6422719 b736a000-b736b000 rw-p 00028000 08:02 6422719 b736b000-b7381000 r-xp 00000000 08:02 4334103 b7381000-b7382000 rw-p 00015000 08:02 4334103 b7382000-b73d0000 r-xp 00000000 08:02 4331056 b73d0000-b73d1000 r--p 0004d000 08:02 4331056 b73d1000-b73d2000 rw-p 0004e000 08:02 4331056 b73d2000-b73d3000 rw-p 00000000 00:00 0 b73d3000-b73fd000 r-xp 00000000 08:02 4328031 b73fd000-b73fe000 r--p 00029000 08:02 4328031 b73fe000-b73ff000 rw-p 0002a000 08:02 4328031 b73ff000-b7407000 r-xp 00000000 08:02 4328022

Answer 1

您可能想要尝试这个简单的步骤。用缓冲区填充两端的堆栈，然后检查覆盖缓冲区的内容。通常，检查缓冲区的内容可以提供关于问题所在位置的非常好的线索。

#include <stdio.h>
#include <string.h>

#define DEBUG           1

/*
 * If stack is getting corrupted then this buf should change. 
 * Looking at the contents of the buf should give a hint at 
 * what is causing it.
 */

#if DEBUG

#define PAD_SIZE        1024
#define PAD_CHAR        0xE5

static void
check_buf(char *name, char *s)
{
    int j, count = 0;

    for (j = 0; j < PAD_SIZE; j++) {
        if ((unsigned char)*s != PAD_CHAR) {
            count++;
        }
        s++;
    }

    if (count != 0) {
        printf("%s corrupted by %d bytes\n", name, count);
    }
}

#endif

/*
 * Stack smashing happens when attempting to return from foo.
 */

int
foo(/* some calling args go here */)
{
#if DEBUG
    char pad_a[PAD_SIZE];
#endif
    /*
     * Rest of your ALL auto variables go here.
     */
#if DEBUG
    char pad_b[PAD_SIZE];

    memset(pad_a, PAD_CHAR, PAD_SIZE);
    memset(pad_b, PAD_CHAR, PAD_SIZE);
#endif
    /*
     * foo does its work and somehow ends up corrupting the
     * stack.  We normally learn about the problem when the
     * function attempts to return.
     */
#if DEBUG
    check_buf("foo():pad_a", pad_a);
    check_buf("foo():pad_b", pad_b);
#endif
    return(1);
}

让我们知道它是怎么回事。

Answer 2

您是否使用过Valgrind的exp-sgcheck工具或memcheck工具？听起来像sgcheck可能会做你想要的。来自Valgrind的文档：

SGCheck和Memcheck是互补的：它们的功能不会重叠。 MEMCHECK   对堆数组执行边界检查和使用后检查。它也发现了它的用途   堆或堆栈分配创建的未初始化值。但它不会执行边界   检查堆栈或全局数组。
     另一方面，SGCheck确实对堆栈或全局数组进行边界检查，但它确实如此   什么都不做。

关于exp-sgcheck究竟如何发现潜在错误（并且它被认为是实验性错误）有一些警告，因此在尝试之前请仔细阅读文档。

编辑：

这是尝试的另一个想法。如果你打破函数入口，你可以确定一个地址，该函数退出时会被破坏吗？也许通过获取堆栈变量的地址或其他东西？如果是这样，您可以在该地址上设置gdb监视点。每当修改此内存位置时，gdb将停止程序。如果这是一个经常被修改的地址，但是可以在紧要关头作为一个穷人的堆栈守卫，这可能会非常烦人。 Here's a link to the docs

你不必拥有一个特殊的堆栈防护，你只需要在堆栈上看一些你知道会被破坏的东西。例如，给定以下程序：


void bar(int j) {
    int *addr = (&j) - 20;
    for(int i = 0; i <= 1000; i++) {
        *(addr + i) = 0xDEADBEEF;
    }
}

int main() {
    bar(10);
    return 0;
}

如果你在进入bar并且设置watch j时休息，那么继续你应该在循环中i == 20时休息一下。如果在函数内部应该更改j，这显然很烦人。如果您只有一个地址，可以通过解除引用watch *(int*)0x40051f来观看。

Answer 3

您可以尝试使用Address Sanitizer：http://clang.llvm.org/docs/AddressSanitizer.html

它需要能够使用clang编译代码，但ASAN非常擅长查找堆栈粉碎错误。

如何检测堆栈粉碎错误的违规代码

3 个答案: