阅读缓冲区溢出，我看到了下面给出的示例代码： -
void function(int a, int b, int c) {
char buffer1[5];
char buffer2[10];
}
void main() {
function(1,2,3);
}
这是来自着名的粉碎堆栈的乐趣和利润文章我猜。 （参考：http://insecure.org/stf/smashstack.html）
文章说，要为buffer1和buffer2分配空间，需要20个字节（缓冲区1为8个字节，缓冲区2为12个字节），因为只能以字长的倍数访问存储器地址（1个字= 4个字节）情况）。
但我记得内存是字节可寻址的。我可以从内存中一次访问1个字节。我将此与处理器的位数相关联。例如一个32位处理器可以访问2 ^ 32个内存位置，并且由于1个内存位置保持1个字节（8位），32位处理器的总可寻址内存等于（2 ^ 32）/（1024 * 1024 * 1024）= 4096 MB = 4GB。
因为在上面的例子中，buffer1和buffer2都是char类型，假设需要1个字节，为什么我们不能分别为buffer1和buffer2分配5个字节和10个字节？
为什么内存访问限制为字长的倍数？
答案 0 :(得分：3)
首先 - 内存访问 不限于字大小。
正如您所指出的，您可以自由地以各自CPU支持的最细粒度访问内存 - 在大多数情况下，这将是字节。
但是对于C中的局部变量，对齐规则有点具体 整个单词访问限制与函数本地放置在所谓的堆栈上的事实有关。
CPU提供堆栈以临时存储和检索存储器中的寄存器值，并且每个程序都有自己的存储器用作堆栈空间。 在某些情况下，通常需要以您的CPU使用的寄存器大小访问堆栈，因此您不会意外地破坏CPU使用的推送/弹出访问。 在32位系统上，访问大小每个寄存器4个字节，对于64位其8字节。
因此，在您的示例中，函数的堆栈在Intel CPU 上可能看起来像这样（取决于操作系统）：
|--- function's stack bottom ---|
| 4 byte Code-Segment index |
| 4 byte return address |
| 4 byte buffer1[0..3] |
| 1 byte buffer1[4], 3 byte pad |
| 4 byte buffer2[0..3] |
| 4 byte buffer2[4..7] |
| 2 byte buffer2[8..9], 2 byte pad |
|--- function's stack top ---|
填充字节是必需的，这样当程序运行并使用函数内部的堆栈时，它仍然可以正确对齐（相信我会使用它很多;））。
E.g。推/弹仍然会产生4字节对齐的地址。
请记住：此对齐规则仅适用于堆栈空间 - 全局或静态变量可以位于奇数内存位置（不太可能，但可能）
我希望这不是技术/低级别。
<强> [编辑]
如果您考虑以下事情，那么缓冲区溢出的关系变得清晰：
如果您知道内存和堆栈布局，则可以操作返回地址之类的内容。
正如您所看到的那样，通过过度/下溢缓冲区，您可以轻松地更改堆栈上方/下方的值
在大多数情况下，这会导致代码崩溃，但如果执行得当，您还可以将一些可执行代码放在堆栈/内存中的某个位置，并将函数的返回地址更改为跳转到该代码，而不是返回到调用它的位置。