C++反汇编第一讲,认识构造函数,析构函数,以及成员函数
以前说过在C系列下的汇编,怎么认识函数.那么现在是C++了,隐含有构造和析构函数
一丶认识构造函数
高级代码:
class MyTest
{
public:
MyTest();
~MyTest();
public:
DWORD m_dwTest;
};
MyTest::MyTest()
{
printf("1111\r\n"); //构造的时候先打印 }
MyTest::~MyTest()
{
printf("2222\r\n"); //析构的时候打印
} int main(int argc, char* argv[])
{
MyTest Test; //创建局部对象
getchar();
return ;
}
C++中的类,构造的时候先祖先类,然后父类,最后朋友类,然后在构造自己. 析构的时候 先自己 后朋友 接着父类 然后是祖先类,(明白一下顺序)
Debug下的汇编代码
这个是main函数内部,在创建对象的时候,会先调用构造,然后退出的时候会调用析构(上面是我改名字过后的)
现在我们认识构造有几个必要条件
1.ecx,this传参因为C++下的对象都是 thisCall,和FastCall类似,thisCall会通过寄存器传参.而fastCall最后两个参数会通过寄存器传参.
.鉴定是ecx传参的前提下是函数外面给值,函数内部使用
函数内部会将ecx给存储起来,这个内存空间称之为 this,也就是语法为什么可以这样写: this.xxxx = 1 this.MyTest();
高亮ecx传参的时候的内存地址,会有多处使用.
2.构造会在创建对象的时候先调用
3.构造函数的返回值则是this指针.
详解怎么查看构造函数
1.是ecx传参,确定了一个条件,其余两个条件还没有满足
2.函数内部使用ecx,且给this指针赋值,并且返回了this指针
返回的汇编:
3.该函数是当前栈作用域下的第一次调用
main函数中初始化成员变量为ccc之后,调用的第一个.
PS: 附加条件 我们点击ecx传参的时候的局部变量(this)会有多处使用.
一般来说确定上面三点则可以确定是构造函数了.上面三个都是必要条件.
而充分条件以后学习虚表的时候就知道了,构造会初始化虚表,且是第一个,所以可以直接确定是构造函数了.
说的听过,其实看反汇编代码也就3 - 4秒的事情.
Release下的汇编
根据上面代码,可以确定
1.先调用的第一个函数
2.ecx传参.并且内部使用了ecx,赋值给了this指针,且把this指针返回
注意:构造函数,析构函数只能是thiscall,就算你自己加上调用约定,编译的时候也提示是无效的调用约定,且反汇编代码不会做任何改变.
总结:
1.构造函数优先调用
2.ecx传参,且函数内部会将ecx给this赋值(this可能是一块内存空间,也可能是寄存器变量)且返回this指针
3.可以点击this指针,可能会有多次调用
注: 构造析构都是thiscall,不能修改
二丶识别析构函数
识别析构函数和构造函数类似
1.thiscall,并且最后调用
2.无返回值
看下析构函数
1.最后一次调用的
2.thiscall,无返回值,其内部会使用ecx给this赋值
Release下的汇编和Debug下一样,有优化,可能你不使用this则不会给this赋值.但是还是无返回值
总结:
1.析构最后一次调用
2.thiscall传参
3.无返回值
三丶识别成员函数(c call thiscall fastcall stdcall)
高级代码:
class MyTest
{
public:
MyTest();
~MyTest();
void SetTest(DWORD dwTest);
DWORD GetTest();
public:
DWORD m_dwTest;
};
MyTest::MyTest()
{
printf("1111\r\n"); }
MyTest::~MyTest()
{
printf("2222\r\n");
} void MyTest::SetTest(DWORD dwTest)
{
this->m_dwTest = dwTest;
}
DWORD MyTest::GetTest()
{
return this->m_dwTest;
}
int main(int argc, char* argv[])
{
MyTest Test;
Test.SetTest();
int Number = Test.GetTest(); //添加了Set,Get方法,并调用
getchar();
return ;
}
看上面,我们可以看出都是默认的thiscall,看下反汇编代码 (看各种调用约定会产生什么样的结果)
1.默认的thiscall在汇编中的表现形式
Debug下的反汇编
头尾是构造和析构,中间则是我们的SetGet方法,可以看出,如果是thiscall,那么是ecx传参,且里面ecx会给this指针赋值,且返回this指针
Release和Debug类似,可能有少许优化,为了篇幅原因,不在截图.
2.Stdcall 成员函数表现形式
看上面汇编代码得出
1.this指针是 ebp + var_10,
2.在stdcall下,会将this指针给寄存器,然后push进去
总结:
1.stdcall 会将this指针当做参数push进去.
2. push进去的this指针,会在call上面第一个push,也就是说this指针是第一个参数
3.平栈还是按照stdcall的形式平栈
3.C call下的汇编表现形式
也是通过push的方式,将this指针当做参数传递
然后c调用约定在外面平栈
4.fastCall的汇编表现形式
寄存器传参,然后ecx是外部更改,内部使用
最终的大总结:
1).识别构造
1.构造函数优先调用
2.ecx传参,且函数内部会将ecx给this赋值(this可能是一块内存空间,也可能是寄存器变量)且返回this指针
3.可以点击this指针,可能会有多次调用
注: 构造析构都是thiscall,不能修改
2).识别析构
1.析构最后一次调用
2.thiscall传参
3.无返回值
3).识别各种调用约定的成员函数
1.c调用约定,会将this指针push进去,然后平栈按照c调用约定平栈
2.stdcall,会将this指针push进去,内部平栈
3.thiscall会默认使用ecx,外部更改,内部使用,平栈和stdcall一样
4.fastcall,会使用两个寄存器传参,且也会外部更改ecx,内部使用.
5.c约定,std约定,push的时候都是this指针,且是第一个参数(也就是call上面的最近的一个push,必定为this指针)