Stack Overflow
Last updated
Last updated
学习与实践 AWS 黑客技术：HackTricks 培训 AWS 红队专家 (ARTE) 学习与实践 GCP 黑客技术：HackTricks 培训 GCP 红队专家 (GRTE)
栈溢出是一种漏洞，当程序向栈中写入的数据超过其分配的容量时，就会发生这种情况。这些多余的数据将覆盖相邻的内存空间，导致有效数据的损坏、控制流的中断，以及潜在的恶意代码执行。这个问题通常是由于使用不安全的函数而引起的，这些函数对输入不进行边界检查。
这个覆盖的主要问题是保存的指令指针 (EIP/RIP) 和保存的基指针 (EBP/RBP) 用于返回到上一个函数，这些信息是存储在栈上的。因此，攻击者将能够覆盖这些信息并控制程序的执行流。
该漏洞通常是因为一个函数在栈中复制的字节数超过了为其分配的数量，因此能够覆盖栈的其他部分。
一些常见的易受攻击的函数包括：strcpy, strcat, sprintf, gets... 此外，像**fgets、read和memcpy**这样的函数，如果指定的长度大于分配的长度，可能会以脆弱的方式使用。
例如，以下函数可能是脆弱的：
寻找栈溢出的最常见方法是输入大量的 As（例如 python3 -c 'print("A"*1000)'），并期待出现 Segmentation Fault，这表明 尝试访问了地址 0x41414141。
此外，一旦发现存在栈溢出漏洞，您需要找到偏移量，以便能够 覆盖返回地址，通常使用 De Bruijn 序列。对于给定大小为 k 的字母表和长度为 n 的子序列，这是一个 循环序列，其中每个可能的长度为 _n_** 的子序列恰好出现一次** 作为连续子序列。
这样，您就不需要手动找出控制 EIP 所需的偏移量，而是可以使用这些序列中的一个作为填充，然后找到覆盖它的字节的偏移量。
可以使用 pwntools 来实现这一点：
或 GEF：
在溢出期间（假设溢出大小足够大），您将能够覆盖栈内局部变量的值，直到达到保存的EBP/RBP 和 EIP/RIP（甚至更多）。 滥用这种类型漏洞的最常见方法是修改返回地址，这样当函数结束时，控制流将被重定向到用户在此指针中指定的任何位置。
然而，在其他场景中，仅仅覆盖栈中某些变量的值可能就足以进行利用（例如在简单的CTF挑战中）。
在这种类型的CTF挑战中，二进制文件中有一个函数，从未被调用，而且您需要调用它才能获胜。对于这些挑战，您只需找到覆盖返回地址的偏移量并找到要调用的函数的地址（通常ASLR会被禁用），这样当易受攻击的函数返回时，隐藏的函数将被调用：
Ret2win在这种情况下，攻击者可以将Shellcode放置在栈中，并利用控制的EIP/RIP跳转到Shellcode并执行任意代码：
Stack Shellcode该技术是绕过前一种技术主要保护的基本框架：不可执行栈（NX）。它允许执行其他几种技术（ret2lib，ret2syscall...），通过滥用二进制文件中的现有指令最终执行任意命令：
ROP - Return Oriented Programing溢出不总是发生在栈中，它也可能发生在堆中，例如：
Heap Overflow有几种保护措施试图防止漏洞的利用，请查看它们：
Common Binary Exploitation Protections & Bypasses学习与实践 AWS 黑客技术：HackTricks 培训 AWS 红队专家 (ARTE) 学习与实践 GCP 黑客技术：HackTricks 培训 GCP 红队专家 (GRTE)
