一道关于段错误笔试题

tianxiaogang12

#include <stdio.h>
#include <string.h>

int main(int argc, char *argv[]) {
    int i = 1;
    char buf[4];

    strcpy(buf, "AAAA");
    printf("%d\n", i);

    return 0;
}

a) When compiled and executed on x86, why does this program usually not
    output what the programmer intended?

strcpy拷贝结束符('\0')时 因为buf大小为4字节，覆盖了i的最低字节（之前是1） 变为0；
所以输出结果是0


b) Name several ways in which the security problem that causes this
program not to output what the programmer intended can be prevented
WITHOUT changing the code.

但是这道题就不会了， 翻译是不是这样
找出几种可以解决引起上面程序没有按程序员意向输出的安全隐患的预防方法，且不用改变源码(就是上面那程序)

e文差不知道翻译对不对，

求方法(因为我除了该代码（比如说把buf改为buf[5]），就没有别的办法了)

没本

1. 
   
2. 执行strcpy(buf, "AAAA");前
   
3. 栈：
   
4.      buf   ->  ?
   
5.      buf+1 ->  ?
   
6.      buf+2 ->  ?
   
7.      buf+3 ->  ?
   
8.      i     ->  1
   
9. 
   
10. 执行strcpy(buf, "AAAA");后
    
11. 栈：
    
12.      buf   ->  'A'
    
13.      buf+1 ->  'A'
    
14.      buf+2 ->  'A'
    
15.      buf+3 ->  'A'
    
16.      i     ->  0
    

复制代码

第二个问有点像脑筋急转弯，得想想。

bill15

不太明白，为什么x86上会出现这种情况呢

starwing83

第二题很有歧义啊……prevent应该是阻止，那么是只是输出1就好了，还是要求同时语义也正确？如果是预防的话，这种代码报错或者报警告就算预防了。而且change the code是全部不许改还是main不许改呢？

bill15

不让改源码意思就是从编译入手吧

starwing83

应该能通过插入guard的方式来解决，不知道有没有某个编译器选项可以做到的……

starwing83

gcc有个-fstack-check的选项，不过只能报错不能prevent（我觉得有改正的含义）。唯一的改正方法恐怕只有加大缓冲区或者在复制的时候采用指定长度的复制。

没本

回复 7# starwing83


gcc -fstack-protector-all 试过了，生成的汇编代码里i和buf还是连续的(x86 & x86_64)，这种错没有破坏堆栈，只改了局部变量，堆栈保护功能查不出来的。

我的思路是让编译器生成代码时，让i成为寄存器变量，不分配展空间的话，strcpy就能破坏栈框，就能检查出来了。

starwing83

？我用了-fstack-check选项就检查出来了啊……

gcc -fstack-check test.c

寄存器变量的话……邪恶地：-Dint=register\ int不知道行不行……

tianxiaogang12

第二题很有歧义啊……prevent应该是阻止，那么是只是输出1就好了，还是要求同时语义也正确？如果是预防的话 ...
starwing83 发表于 2010-06-10 22:23

   应该是全部不许改吧

gcc有个-fstack-check的选项，不过只能报错不能prevent（我觉得有改正的含义）。唯一的改正方法恐怕只有加大 ...
starwing83 发表于 2010-06-10 22:32

    gcc的-fstack-check的选项是不是你上面说的插入guard的方式
   不是的话，插入guard的方式是指什么？

   我查了下你说的-fstack-check的选项
   GCC 对内存错误的检查主要依靠 3 个选项： -fstack-check -fbounds-check -fstack-protector-all
   GCC 4.1 以上支持-fstack-protector-all 选项 可以防止缓冲区溢出攻击，也可以利用此选项来检查代码是否有缓冲区溢出的错误
我现在去试试这几个选项