大输入时 scanf %d 段错误

Question

所以我在一些 c 代码上运行了一些静态代码分析器，让我感到惊讶的是一个警告：

int val;
scanf("%d", &val);

这表示对于足够大的输入，这可能会导致段错误。毫无疑问，这确实会发生。现在修复很简单（指定一些宽度；毕竟我们知道一个有效整数最多可以有多少个位置，具体取决于架构）但我想知道的是为什么会发生这种情况以及为什么会这样'不被视为 libc 中的一个错误（并且是一个简单的修复）？

现在我假设我首先错过了这种行为的某些原因？

编辑：好的，因为这个问题似乎不是那么明确，多一点解释： 不，代码分析器一般不会对 scanf 发出警告，但会在 scanf 读取没有特定宽度的数字时发出警告。

所以这是一个最小的工作示例：

#include <stdlib.h>
#include <stdio.h>

int main() {
    int val;
    scanf("%d", &val);
    printf("Number not large enough.\n");
    return 0;
}

我们可以通过发送一个巨大的数字来获得一个段错误（使用例如 Python）：

import subprocess
cmd = "./test"
p = subprocess.Popen(cmd, stdin=subprocess.PIPE, shell=True)
p.communicate("9"*50000000000000)
# program will segfault, if not make number larger

Answer 1

如果静态分析器是 cppcheck，那么它会发出警告，因为 glibc 中的一个 bug 已被修复：http://sources.redhat.com/bugzilla/show_bug.cgi?id=13138

Answer 2

已编辑，因为我错过了您用它提供静态代码分析器的事实

如果%d 的格式与int 的大小匹配，则溢出的不应是通过指针写入val 的内容，因为它应该始终是int。尝试将指针传递给long int 并查看分析器是否仍然给出警告。尝试将%d改成%ld，保持long int指针不变，看看是否再次给出警告。

我想标准应该说明%d，它需要的类型。也许分析器担心在某些系统上int 可能比%d 的含义更短？对我来说这听起来很奇怪。

---

运行用 gcc 编译的示例（我有 python 2.6.6）我获得

Traceback (most recent call last):
  File "./feed.py", line 4, in <module>
    p.communicate("9"*50000000000000)
OverflowError: cannot fit 'long' into an index-sized integer
Number not large enough.

---

然后我尝试运行它：

perl -e 'print "1"x6000000000000000;' |./test

并修改了C部分写

printf("%d Number not large enough.\n", val);

我作为输出获得

5513204 Number not large enough.

每次运行时数字都会改变...永远不会出现段错误... GNU scanf 实现是安全的...虽然结果数字是错误的...

Answer 3

处理整数的第一步是隔离数字序列。如果该序列比预期的长，它可能会溢出固定长度的缓冲区，从而导致分段错误。

你可以用双打来达到类似的效果。推到极端，您可以写 1 后跟一千个零，以及 -1000 的指数（净值为 1）。实际上，当我几年前测试这个时，Solaris 处理了 1000 位数字。它在 1024 多一点时遇到了麻烦。

因此，有一个 QoI 元素 - 实施质量。还有一个元素是“遵循 C 标准，scanf() 在遇到非数字之前不能停止阅读”。这些是相互矛盾的目标。