c - 是否可以利用以下代码？

Question

我试图利用以下代码但没有成功。我尝试输入 60 + 1 个字符，但没有成功。

使用标签的 CFI 已启用。堆栈金丝雀、不可执行堆栈和 ASLR 被禁用。你能让程序打印“你赢了!\n”吗？ (假设 isAdmin 是一个全局变量，而不是 main() 中定义的变量。是否仍然可以利用代码？)

void g() {
   char buff[60];
   gets(buff);
}

void main() {
   int isAdmin = 1;
   g();
   isAdmin = 0;
   g();
   if (isAdmin) { printf("You won!\n"); }
}

Answer 1

这么简单是行不通的!

首先取决于堆栈是自上而下还是自下而上增长。对于后者，您根本无法覆盖调用函数堆栈上的变量，它们位于数组的前面。

对于后者(公认的更常见的变体)，您可能会成功覆盖 isAdmin 变量。然而，当调用一个函数时，栈上保留了相当多的数据，至少，你会在那里找到返回地址。那个也将被覆盖!所以你的程序会继续，或者更好:尝试在内存中的某个任意地址继续。最有可能的结果是您的程序崩溃。

所以你唯一现实的机会是内联函数，例如。 G。与海湾合作委员会:

inline void g() __attribute__((always_inline));
void g()
{
    char buff[64];
    gets(buff);
}

请注意，这不是可移植代码，__attribute__ 注释是特定于 GCC(和 clang)的。

这样，我确实设法产生了您想要的结果(仍然需要自上而下的堆栈!)。您可能需要提供相当多的额外字节，对齐问题可能会在变量之间造成相当大的差距。但是，根据您覆盖的数据量，您可能仍会产生崩溃(可能在产生任何输出之前)。

无论如何，您都处于未定义行为的境地，因此绝对不能保证您真的得到了您想要的，任何都可能发生。