虚函数的解析

最新推荐文章于 2023-12-18 12:26:26 发布
最新推荐文章于 2023-12-18 12:26:26 发布
阅读量744 收藏
点赞数
分类专栏： 逆向工程
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/dasgk/article/details/9022923
版权

      概念上，虚函数是在程序运行时刻才定义的函数，其实其含义是：虚函数是在运行时刻才知道要调用的是子类的方法，还是父类的方法，对于一个含有虚函数的类而言，他的虚

函数的定义在一个地方，还有一个叫做虚函数表的数据结构被存储下来，这个虚函数表，这个虚函数表中存放了每个虚函数的首地址，当我们调用一个虚函数时，他会首先寻找虚

函数表所在，然后根据偏移量获得该虚函数的地址，进而将该虚函数地址中的内容，放进寄存器当中，即真正的函数代码放进寄存器当中，开始函数的调用

// 虚函数.cpp : 定义控制台应用程序的入口点。
#include "stdafx.h"
#include"iostream"
using namespace std;
class base
{	
public:
	
	virtual void demo_1()
	{
		cout<<"demo_1\n";
	}
	virtual void demo_2()
	{
		cout<<"demo_2\n";
	}
	virtual void demo_3()
	{
		cout<<"demo_3\n";
	}
};
class Imp: public base
{
public:
	
	void demo_1()
	{
		cout<<"real demo_1\n";
	}
	void demo_2()
	{
		cout<<"real demo_2\n";
	}
	void demo_3()
	{
		cout<<"real demo_3\n";
	}
};
int _tmain(int argc, _TCHAR* argv[])
{
	
	base *p=new base();
	p->demo_1();
	p->demo_2();
	p->demo_3();
	p=new Imp();
	p->demo_1();
	p->demo_2();
	p->demo_3();
	return 0;
}

其反汇编后得到的代码是：

.text:00401000 ; ===========================================================================
.text:00401000
.text:00401000 ; Segment type: Pure code
.text:00401000 ; Segment permissions: Read/Execute
.text:00401000 _text           segment para public 'CODE' use32
.text:00401000                 assume cs:_text
.text:00401000                 ;org 401000h
.text:00401000                 assume es:nothing, ss:nothing, ds:_data, fs:nothing, gs:nothing
.text:00401000
.text:00401000 ; =============== S U B R O U T I N E =======================================
.text:00401000
.text:00401000
.text:00401000 ; void __thiscall base__demo_1(base *this)
.text:00401000 public: virtual void __thiscall base::demo_1(void) proc near
.text:00401000                                         ; DATA XREF: .rdata:const base::`vftable'o
.text:00401000 this = ecx
.text:00401000                 mov     eax, ds:std::basic_ostream<char,std::char_traits
  
  
   
   > std::cout
.text:00401005                 push    offset _Val     ; "demo_1\n"
.text:0040100A                 push    eax             ; _Ostr
.text:0040100B                 call    std::operator<<<std::char_traits
   
   
    
    >(std::basic_ostream<char,std::char_traits
    
    
     
     > &,char const *)
.text:00401010                 add     esp, 8
.text:00401013                 retn
.text:00401013 public: virtual void __thiscall base::demo_1(void) endp;以上是基类base的demo_1方法的定义，函数体的所在
.text:00401013
.text:00401013 ; ---------------------------------------------------------------------------
.text:00401014                 align 10h
.text:00401020
.text:00401020 ; =============== S U B R O U T I N E =======================================
.text:00401020
.text:00401020
.text:00401020 ; void __thiscall base__demo_2(base *this)
.text:00401020 public: virtual void __thiscall base::demo_2(void) proc near
.text:00401020                                         ; DATA XREF: .rdata:0040216Co
.text:00401020 this = ecx
.text:00401020                 mov     eax, ds:std::basic_ostream<char,std::char_traits
     
     
      
      > std::cout
.text:00401025                 push    offset aDemo_2  ; "demo_2\n"
.text:0040102A                 push    eax             ; _Ostr
.text:0040102B                 call    std::operator<<<std::char_traits
      
      
        >(std::basic_ostream<char,std::char_traits 
       
         > &,char const *) .text:00401030 add esp, 8 .text:00401033 retn .text:00401033 public: virtual void __thiscall base::demo_2(void) endp;以上是base的demo_2的定义，也就是函数体的所在 .text:00401033 .text:00401033 ; --------------------------------------------------------------------------- .text:00401034 align 10h .text:00401040 .text:00401040 ; =============== S U B R O U T I N E ======================================= .text:00401040 .text:00401040 .text:00401040 ; void __thiscall base__demo_3(base *this) .text:00401040 public: virtual void __thiscall base::demo_3(void) proc near .text:00401040 ; DATA XREF: .rdata:00402170o .text:00401040 this = ecx .text:00401040 mov eax, ds:std::basic_ostream<char,std::char_traits 
        
          > std::cout .text:00401045 push offset aDemo_3 ; "demo_3\n" .text:0040104A push eax ; _Ostr .text:0040104B call std::operator<<<std::char_traits 
         
           >(std::basic_ostream<char,std::char_traits 
          
            > &,char const *) .text:00401050 add esp, 8 .text:00401053 retn .text:00401053 public: virtual void __thiscall base::demo_3(void) endp;以上是base的demo_3的定义，也就是函数体的所在 .text:00401053 .text:00401053 ; --------------------------------------------------------------------------- .text:00401054 align 10h .text:00401060 .text:00401060 ; =============== S U B R O U T I N E ======================================= .text:00401060 .text:00401060 .text:00401060 ; void __thiscall Imp__demo_1(Imp *this) .text:00401060 public: virtual void __thiscall Imp::demo_1(void) proc near .text:00401060 ; DATA XREF: .rdata:const Imp::`vftable'o .text:00401060 this = ecx .text:00401060 mov eax, ds:std::basic_ostream<char,std::char_traits 
           
             > std::cout .text:00401065 push offset aRealDemo_1 ; "real demo_1\n" .text:0040106A push eax ; _Ostr .text:0040106B call std::operator<<<std::char_traits 
            
              >(std::basic_ostream<char,std::char_traits 
             
               > &,char const *) .text:00401070 add esp, 8 .text:00401073 retn .text:00401073 public: virtual void __thiscall Imp::demo_1(void) endp;以上是子类Imp的demo_1的定义，也就是函数体的所在 .text:00401073 .text:00401073 ; --------------------------------------------------------------------------- .text:00401074 align 10h .text:00401080 .text:00401080 ; =============== S U B R O U T I N E ======================================= .text:00401080 .text:00401080 .text:00401080 ; void __thiscall Imp__demo_2(Imp *this) .text:00401080 public: virtual void __thiscall Imp::demo_2(void) proc near .text:00401080 ; DATA XREF: .rdata:0040217Co .text:00401080 this = ecx .text:00401080 mov eax, ds:std::basic_ostream<char,std::char_traits 
              
                > std::cout .text:00401085 push offset aRealDemo_2 ; "real demo_2\n" .text:0040108A push eax ; _Ostr .text:0040108B call std::operator<<<std::char_traits 
               
                 >(std::basic_ostream<char,std::char_traits 
                
                  > &,char const *) .text:00401090 add esp, 8 .text:00401093 retn .text:00401093 public: virtual void __thiscall Imp::demo_2(void) endp;以上是Imp的demo_2的定义，也就是函数体所在 .text:00401093 .text:00401093 ; --------------------------------------------------------------------------- .text:00401094 align 10h .text:004010A0 .text:004010A0 ; =============== S U B R O U T I N E ======================================= .text:004010A0 .text:004010A0 .text:004010A0 ; void __thiscall Imp__demo_3(Imp *this) .text:004010A0 public: virtual void __thiscall Imp::demo_3(void) proc near .text:004010A0 ; DATA XREF: .rdata:00402180o .text:004010A0 this = ecx .text:004010A0 mov eax, ds:std::basic_ostream<char,std::char_traits 
                 
                   > std::cout .text:004010A5 push offset aRealDemo_3 ; "real demo_3\n" .text:004010AA push eax ; _Ostr .text:004010AB call std::operator<<<std::char_traits 
                  
                    >(std::basic_ostream<char,std::char_traits 
                   
                     > &,char const *) .text:004010B0 add esp, 8 .text:004010B3 retn .text:004010B3 public: virtual void __thiscall Imp::demo_3(void) endp;以上是Imp的demo_3的定义，也就是函数体的所在 .text:004010B3 .text:004010B3 ; --------------------------------------------------------------------------- .text:004010B4 align 10h .text:004010C0 .text:004010C0 ; =============== S U B R O U T I N E ======================================= .text:004010C0 .text:004010C0 .text:004010C0 ; int __cdecl wmain(int argc, wchar_t **argv) .text:004010C0 _wmain proc near ; CODE XREF: __tmainCRTStartup+11Dp .text:004010C0 .text:004010C0 argc = dword ptr 8 .text:004010C0 argv = dword ptr 0Ch .text:004010C0 .text:004010C0 push esi .text:004010C1 push edi .text:004010C2 mov edi, ds:operator new(uint) .text:004010C8 push 4 .text:004010CA call edi ; operator new(uint);分配内存4个字节的内存 .text:004010CC add esp, 4;分配完之后清空栈 .text:004010CF test eax, eax;检查空间分配是否成功 .text:004010D1 jz short loc_4010DD .text:004010D3 mov dword ptr [eax], offset const base::`vftable';将虚函数表的首地址放在eax指向的内存区域当中 .text:004010D9 mov esi, eax .text:004010DB jmp short loc_4010DF .text:004010DD ; --------------------------------------------------------------------------- .text:004010DD .text:004010DD loc_4010DD: ; CODE XREF: _wmain+11j .text:004010DD xor esi, esi;之后在内存分配失败时，才会进行此操作 .text:004010DF .text:004010DF loc_4010DF: ; CODE XREF: _wmain+1Bj .text:004010DF mov eax, [esi];将虚函数表的首地址放在eax当中 .text:004010E1 mov edx, [eax];将虚函数表的第一个函数的起始地址放在edx当中 .text:004010E3 mov ecx, esi;将虚函数表的首地址保存下来 .text:004010E5 call edx; .text:004010E7 mov eax, [esi] .text:004010E9 mov edx, [eax+4];注意这是将虚函数表中的第二个函数起始地址放在edx中，然后进行调用 .text:004010EC mov ecx, esi .text:004010EE call edx .text:004010F0 mov eax, [esi] .text:004010F2 mov edx, [eax+8] .text:004010F5 mov ecx, esi .text:004010F7 call edx .text:004010F9 push 4 .text:004010FB call edi ; operator new(uint) .text:004010FD add esp, 4; .text:00401100 test eax, eax .text:00401102 jz short loc_40110E .text:00401104 mov dword ptr [eax], offset const Imp::`vftable' .text:0040110A mov esi, eax .text:0040110C jmp short loc_401110 .text:0040110E ; --------------------------------------------------------------------------- .text:0040110E .text:0040110E loc_40110E: ; CODE XREF: _wmain+42j .text:0040110E xor esi, esi .text:00401110 .text:00401110 loc_401110: ; CODE XREF: _wmain+4Cj .text:00401110 mov eax, [esi] .text:00401112 mov edx, [eax] .text:00401114 mov ecx, esi .text:00401116 call edx .text:00401118 mov eax, [esi] .text:0040111A mov edx, [eax+4] .text:0040111D mov ecx, esi .text:0040111F call edx .text:00401121 mov eax, [esi] .text:00401123 mov edx, [eax+8] .text:00401126 mov ecx, esi .text:00401128 call edx .text:0040112A pop edi .text:0040112B xor eax, eax .text:0040112D pop esi .text:0040112E retn .text:0040112E _wmain endp
以下的是虚函数表： 

.rdata:00402168 const base::`vftable' dd offset base::demo_1(void) ; DATA XREF: _wmain+13o
.rdata:0040216C                 dd offset base::demo_2(void)
.rdata:00402170                 dd offset base::demo_3(void)
.rdata:00402174                 dd offset const Imp::`RTTI Complete Object Locator'
.rdata:00402178 const Imp::`vftable' dd offset Imp::demo_1(void) ; DATA XREF: _wmain+44o
.rdata:0040217C                 dd offset Imp::demo_2(void)
.rdata:00402180                 dd offset Imp::demo_3(void)
.rdata:00402184                 align 8
.rdata:00402188 __load_config_used db  48h ; H

世纪殇
关注
专栏目录
XREF
ruins44的博客
05-27 3407
XREF的分类： 1.代码交叉引用，-CODE XREF ２.数据交叉引用，-data xref XREF含义描述 1.这是个代码交叉引用 2.fun是被引用者，main+2c表示引用者 3.下箭头表示引用者的地址比fun高，你需要向下滚动才能到达引用者地址（main+2C），上行反之 4.每个交叉引用注释都包含一个单字符后缀箭头后面），用以说明交叉引用的类型
虚函数详解
weixin_44647008的博客
04-27 325
若一个实例方法声明前带有virtual关键字，那么这个方法就是虚方法。 虚方法与非虚方法的最大不同是，虚方法的实现可以由派生类所取代，这种取代是通过方法的重写实现的（以后再讲） 虚方法的特点: 虚方法前不允许有static,abstract,或override修饰符 虚方法不能是私有的，因此不能使用private修饰符 虚方法的执行： 我们知道一般函数在编译时就静态地编译到了执行文件中，其相对地址在程序运行期间是不发生变化的，而虚函数在编译期间是不被静态编译的，它的相对地址是不确定的，它会根据运行时期对象实
虚函数的理解
Mr.Sliver的博客
04-11 263
虚函数在应用中主要分为两大方面，一方面是虚析构函数，另一方面是虚函数，请记住没有虚构造函数。 一、虚析构函数： virtual ~Dwelling(); class Dwelling { public: ... }; class Hovel:public Dwelling { public: ... }; 此刻假如我们定义了一个指向基类的指针或引用的派生类对象，这个时候基类中的析构函数就需要改写...
虚函数详细（剖析）看这一篇就够了
weixin_45428525的博客
10-04 772
类只要包含了虚函数，那么这个类就会产生一个虚函数表，但是我们光知道了虚函数表的存在，想没想过他在对象的内存布局中的位置呢？这是个非常重要的问题！！！下面我们就来分析虚函数在对象的内存布局的位置。 我使用的开发工具是 vs2019 首先先创建一个类：添加一个虚函数 #include <iostream> using namespace std; class A { public: int i; //四个字节 vir...
虚函数解析
03-15 438
C++中的虚函数的作用主要是实现了多态的机制。关于多态，简而言之就是用父类型别的指针指向其子类的实例，然后通过父类的指针调用实际子类的成员函数。这种技术可以让父类的指针有“多种形态”，这是一种泛型技术。所谓泛型技术，说白了就是试图使用不变的代码来实现可变的算法。比如：模板技术，RTTI技术，虚函数技术，要么是试图做到在编译时决议，要么试图做到运行时决议。 关于虚函数的使用方法，我在这里不做
C++虚函数表解析
03-03
前言C++中的虚函数的作用主要是实现了多态的机制。关于多态，简而言之就是用父类型别的指针指向其子类的实例，然后通过父类的指针调用实际子类的成员函数。这种技术可以让父类的指针有“多种形态”，这是一种泛型...
C++虚函数及虚函数表解析
07-24
C++的虚函数和虚函数表是面向对象编程中实现多态性的重要机制。多态性允许通过基类指针或引用调用不同子类的重写方法，从而实现更灵活的设计和代码复用。 虚函数（Virtual Function）是基类中声明的一种特殊函数，...
深入解析C++中的虚函数与多态
01-21
1.C++中的虚函数C++中的虚函数的作用主要是实现了多态的机制。关于多态，简而言之就是用父类型别的指针指向其子类的实例，然后通过父类的指针调用实际子类的成员函数。这种技术可以让父类的指针有“多种形态”，这是...
虚函数表解析
04-26
### 虚函数表解析 #### 一、引言与多态概念 在C++语言中，虚函数机制是实现面向对象编程中的多态性的一种关键手段。多态性允许我们使用父类类型的指针或者引用去调用子类重写的方法。这种灵活性使得我们可以在运行...
14.IDA-XREF（交叉引用）概述
hgy413的专栏
01-27 1万+
XREF分类 CODE XREF:代码交叉引用 DATA XREF:数据交叉引用 XREF描述含义 这是个代码交叉引用 sub401000是被引用者，main+2A是引用者（引用sub401000的位置) 下箭头表示引用者的地址比sub401000高，你需要向下滚动才能到达引用者地址（main+2A),上行反之~ 4.每个交叉引用注释都包含一个单字符后缀（箭头后面），用以说明交叉引用的类
IDA PRO 0A - 交叉引用
最新发布
a5right的博客
12-18 1570
本文将讨论IDA中的交叉引用的相关知识。更多c++逆向知识可以看B站的课程《C++ 反汇编基础教程(IDA Pro Visual Studio)》
IDA反汇编/反编译静态分析iOS模拟器程序（六）交叉引用
hursing的博客
05-30 2万+
交叉引用cross reference是指 这个地址的 数据或代码 引用了哪个地址 以及 被哪些地址的代码所引用。引用了哪个地址，在反汇编就能看出来，一行汇编代码自然只会引用一个地址。但被引用是一对多的关系，正如一个函数可以被很多函数在内部调用。查看“被引用”是静态分析中得到堆栈的方法，当然，因为一对多的关系，还需要猜。这主要是看分析的目的是什么，与运行时动态分析相比各有好处，静态分析能得到完整的
学习记录 - 反汇编工具【IDA】
Bingo冲冲冲
08-11 3421
1 学会IDA常用功能和快捷键 2 学会查看字符串。 3 学会利用函数窗口定位函数和重命名 4 学会使用交叉引用这个功能 5 利用上述技巧分析一个小的demo程序，并找到最终的key
尝试破解使用网络验证的小软件
热门推荐
不忘初心，护天下安全！
02-25 2万+
网络验证就是将一些关键数据放到服务器上，软件必须从服务器取得这些数据才能运行。拦截这种验证的思路就是拦截服务器返回的数据包，分析程序是如何处理这些数据包的。 相关函数有： send()函数: int send( SOCKET s, //套接字描述符 const char FAR *buf, //缓冲区 int len, ...
C++中的运行时多态与虚函数解析
"C++多态与虚函数" 在C++编程语言中，多态性（Polymorphism）是面向对象程序设计的一个核心概念，它允许使用一个通用接口来操作不同类型的对象，使得代码更加灵活和可扩展。多态性的实现通常依赖于虚函数（Virtual ...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

世纪殇

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付：¥1
获取中
扫码支付

您的余额不足，请更换扫码支付或充值

打赏作者

实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值