特定整数溢出缓冲区

Question

如果我有这个代码：

int main() {
    char buff[20];
    int x = 0;
    gets(buff);
    if (x==1337) {
        print("Congrats");
    }
    printf("%d\n", x);
    return 0;
}

知道这是用 C 语言编写的（不是很重要），如何将 char[] 正好溢出 1337？ 而且，我不太了解我得到的输出。例如，如果我运行这段代码并输入：

12345678901234567890a

输出是：

0

事实上，在数据泄漏到 X 的值之前，我必须使我的 char[] 超出我的数组大小额外的 8 个字符。我不知道为什么会这样，并且会如果有人理解这一点，真的很想得到一些帮助。但是，它并不止于此。

如果我的输入是：

1234567890123456789012345678aa

我的输出是：

24929

这让我很纠结。因为我预计它会溢出a+a 的字符值，甚至可能是a*a，可惜两者都不是。 （a的char值为97）。

总结一下，因为我现在可能会感到困惑。我想知道如何将缓冲区（在 C 中）溢出到 int 中，从而使 int 成为一个非常具体的值（在本例中为 1337）。此外，如果您能解释这些数字是如何得出的，我将不胜感激！顺便提一下，代码是在 Linux shell 上执行的。

Answer 1

由于这可能是家庭作业，而不是给你一个直接的答案，我要做的是向你展示执行你认为你的程序会做的事情的 C 程序，以及它是如何做到的当输入超长输入时的行为。

#include <stdio.h>
int main(void)
{
  struct {
    char buff[20];
    volatile unsigned int x;
  } S;
  S.x = 0;
  gets(S.buff);
  if (S.x == 1337)
    puts("Congrats");
  else
    printf("Wrong: %08x\n", S.x);
  return 0;
}

主要区别在于我强制编译器以特定方式布置堆栈帧。我还以十六进制打印x 的值。这使得输出更容易预测，也更容易解释。

$ printf 'xxxxxxxxxxxxxxxxxxxxABCD' | ./a.out
Wrong: 44434241

$ printf 'xxxxxxxxxxxxxxxxxxxxABC' | ./a.out
Wrong: 00434241

$ printf 'xxxxxxxxxxxxxxxxxxxxAB' | ./a.out
Wrong: 00004241

$ printf 'xxxxxxxxxxxxxxxxxxxxA' | ./a.out
Wrong: 00000041

所有让您感到困惑的事情都是由以下一项或多项造成的：编译器不是按照您预期的方式布置堆栈帧，int 中的字节顺序不是您预期的，以及从二进制到十进制的转换，使 RAM 中的数据变得模糊。

为你练习：在-S 模式下编译我的程序和你的原始程序，这会转储出生成的汇编语言。并排阅读它们。弄清楚差异意味着什么。这应该告诉你什么输入（如果有的话——它可能不可能！）会让你的程序打印“恭喜”。