各位大佬，求帮分析一下这段 C 代码

[mrzys]

C 小白一个，求各位大佬关照。问题代码见下：

#include <stdio.h>

int main() {
    long i;
    long j;
    char *ch; // 这里的确是需要初始化
    scanf("%s", ch);
    i = 0;  // 如果把这行注释掉，程序不会报错
    j = 0; //
}

执行结果：

root@ubuntu:~# ./a.out
v2ex
Segmentation fault

但是把下面给i和j赋值的语句注释掉，或者只注释其中一条，却不会报错了:

root@ubuntu:~# ./a.out
v2ex

我是用objdump -d main.o查看反汇编的代码：

0000000000400546 <main>:
  400546:       48 83 ec 08             sub    $0x8,%rsp
  40054a:       be 00 00 00 00          mov    $0x0,%esi
  40054f:       bf f4 05 40 00          mov    $0x4005f4,%edi
  400554:       b8 00 00 00 00          mov    $0x0,%eax
  400559:       e8 d2 fe ff ff          callq  400430 <__isoc99_scanf@plt>
  40055e:       b8 00 00 00 00          mov    $0x0,%eax
  400563:       48 83 c4 08             add    $0x8,%rsp
  400567:       c3                      retq
  400568:       0f 1f 84 00 00 00 00    nopl   0x0(%rax,%rax,1)

发现scanf的ch指针的地址赋值为0x0，这里的确是有问题，但是我想不通scanf下面的语句为什么会影响到程序的执行。

求各位大佬指教啊。。。

[lance6716276]

先把代码写标准了再去 debug

[shuax]

char *ch 只是一个指针，都没有给他固定空间，然后就越界了。

[yinanc]

赋值给未分配空间的指针时情况就不可控了，后面发生什么都有可能

[shsdust]

不是指明了 Segmentation fault 吗？表示 CPU 试图访问无法定址的块，明显是因为指针没被分配空间，既然到这里已经出现了这种错误，下面的程序报错很正常的

[shsdust]

还有，编译是一门玄学

[mrzys]

@shsdust 但是这样并不会报错：
```
#include <stdio.h>

int main() {
long i;
long j;
char *ch;
scanf("%s", ch);
i = 0;
//j = 0;
}
~
```
这就是令人奇怪的地方。` scanf`后面的代码会影响到程序会不会发生异常退出。

[jiutai21]

未定义的行为把，换个平台 /编译器结果不一定的

[tomychen]

1.ch 没空间
2.注释掉那行后没出错有没有可能是因为刚好 scanf 到 ch 的值刚好复盖到了第二个 long 上，所以没报错，你可以试动态调试一下。或者简单的把输入内容调整>sizeof(long)。
3. @shsdust 楼上说了玄学，这种东西代码在你的环境不出错不表示任何环境不出错，c 的指针野起来不是人能预见的。

[liuzhedash]

@mrzys #6
兄弟，这样写是否报错并不是你想的那种因果关系，建议阅读《深入理解计算机系统》的第三章。

[doun]

大概因为 scanf 下面的 int i,j 编译后，也是挪到栈上的吧

[mrzys]

@liuzhedash 就在阅读 csapp，但是对于内存这一块还是很模糊。第 7 章 linker 中说了局部变量是在执行的时候在 stack 上动态分配的，但是我反汇编之后，查看不到这段代码中的 i 和 j 的赋值指令。只有`sub $0x8,%rsp`，栈指针向下增加了 8 个字节，函数执行完毕返回之前执行`add $0x8,%rsp`，栈指针向上移动了 8 个字节，栈指针完全没有被影响。

[lingdux]

那里的野指针需要申请空间，大小要足够容纳输入的内容。
注释掉那句不发生异常只是堆栈压栈出栈的巧合而已，程序并没有按照你的预期执行。

这种问题动态调式，注意一下堆栈和内存，一目了然。
7 楼不懂别瞎说误导新人。

[mrzys]

@lingdux 谢谢大佬，晚上回去动态调试一下。

[ysc3839]

@lingdux 想问一下 7 楼说的怎么误导了？

[lingdux]

@ysc3839

未定义的行为很扯淡

[lingdux]

@mrzys
这个问题让我想起来《 0day 安全：软件漏洞分析技术》里面一个例子
虽然那个是 win 的，但是一样的原理。
2 ． 2 修改邻接变量中，修改了相邻的变量，填补了被破坏的堆栈，导致程序改变了流程实现了破解 CrackMe。

[pkookp8]

尝试了 x86 和 arm，都不会出错
gcc5.3.1
armgcc4.4.1
编译方式
$(CC) src.c -o err.bin
不加其他编译参数

[pkookp8]

@pkookp8 尝试增加-g 和-O0 也没用。。。。

[ysc3839]

@lingdux 为什么这么说呢？

[lingdux]

@ysc3839
别问了，不想回复你了，感觉挺没意思的。