基本上适用于整个计划. Printf开始从堆栈中取出参数,在这种情况下,需要一个值得过多的int.这通常类似于返回地址.因此,当printf返回时,它将返回到堆栈上接下来的任何随机数.通常的结果 – 如果你很幸运 – 是一个分段错误.
因为它将参数压入堆栈,所以它会将它们弹出,所以它会尝试先获取int.
如果你不幸运,它会找到一个可寻址的代码块.这导致了第二种情况,其中地址成为随机字符散列的地址.现在它将尝试打印一个字符串,直到它找到一个随机的NUL字符.
更新
正如约阿希姆指出的那样,具体问题由调用约定决定,所以让我们做一个明确的例子.当要调用printf函数时,首先按下返回地址或最后按下它.我们假设它首先被推送(在通常的架构上更常见),所以这个调用需要PUSH返回地址,格式字符串的PUSH地址,PUSH是一个int值 – 让我们说42.这给了我们这个堆栈:
RTN ADDR
ADDR OF STRING
42
并使堆栈指针SP指向堆栈上的下一个位置.
现在printf开始解释字符串.它查找int参数的地址,并找出它的SP-1.所以string参数的地址必须是SP-2 …但这是格式字符串的地址,因为没有字符串参数.然后当它查找格式字符串的地址时,它想要找到SP-3,但这是返回地址,可执行代码的地址.在大多数任何机器上,这都应该导致分段错误.
如果你通过调用约定的其他选项,你会发现它们中的每一个看起来都是错误的,因为无论如何,printf认为它需要引用堆栈中的三个东西,而不是它有两个.