printf参数不足

我的问题是关于缺少参数的printf之后的行为:

printf("%s blah blah %d", int); // integer was given as argument (and not int written) 

我已经知道如果格式的参数不足,则行为未定义。

问题是printf结果或整个程序是否未定义?

  • 当%s试图从未经授权的内存地址读取时,可能会发生崩溃。 (它发生在我身上)
  • printf完成后会发生崩溃吗? (打印一些垃圾字符串和整数)

编辑:

澄清我不是在询问编译错误或警告,执行此行时程序也不会崩溃。 问题是这行可以使程序在此行已经执行后随机崩溃。

基本上适用于整个计划。 Printf开始从堆栈中取出参数,在这种情况下,需要一个值得过多的int 。 这通常类似于返回地址。 因此,当printf返回时,它返回到堆栈上接下来的任何随机数。 通常的结果 – 如果你很幸运 – 是一个分段错误。

因为它将参数压入堆栈,所以它会弹出它们,所以它会尝试先获取int

如果你幸运,它会找到一个可寻址的代码块。 这导致了第二种情况,其中地址成为随机字符散列的地址。 现在它将尝试打印一个字符串,直到找到一个随机的NUL字符。

更新

正如约阿希姆指出的那样,具体细节取决于调用约定,所以让我们做一个明确的例子。 当要调用printf函数时,首先按下返回地址或最后按下它。 我们假设它首先被推送(在通常的架构上更常见),所以这个调用需要PUSH返回地址,格式字符串的PUSH地址,PUSH是一个int值 – 让我们说42.这给了我们这个堆栈:

 RTN ADDR ADDR OF STRING 42 

并使堆栈指针SP指向堆栈上的下一个位置。

现在printf开始解释字符串。 它查找int参数的地址,并找出它的SP-1。 所以字符串参数的地址必须是SP-2 …但这是格式字符串的地址,因为没有字符串参数。 然后当它查找格式字符串的地址时,它想要找到SP-3,但那是返回地址,可执行代码的地址。 在大多数任何机器上,这都应该导致分段错误。

如果你通过调用约定的其他选项,你会发现它们中的每一个看起来都是错误的东西,因为无论如何,printf认为它需要引用堆栈外的三个东西,而不是它有两个。

整个计划尚未定义。

事实上,即使程序存在,它也是未定义的:未定义编译器本身在文本printf("%s blah blah %d", int);