首页
社区
课程
招聘
[旧帖] [求助]i++和++i的反汇编 0.00雪花
发表于: 2009-1-29 15:06 8993

[旧帖] [求助]i++和++i的反汇编 0.00雪花

2009-1-29 15:06
8993
在VS2008中,
反汇编如下:
x = i++;
mov         eax,dword ptr [i]
mov         dword ptr [x],eax
mov         ecx,dword ptr [i]
add         ecx,1
mov         dword ptr [i],ecx

y = ++j;
mov         eax,dword ptr [j]
add         eax,1
mov         dword ptr [j],eax
mov         ecx,dword ptr [j]
mov         dword ptr [y],ecx


为什么不把那两行红色的去掉?
如下:
x = i++;
mov         eax,dword ptr [i]
mov         dword ptr [x],eax
add         eax,1
mov         dword ptr [i],eax

y = ++j;
mov         eax,dword ptr [j]
add         eax,1
mov         dword ptr [j],eax  
mov         dword ptr [y],eax


???????????????????????????????

[课程]Android-CTF解题方法汇总!

收藏
免费 1
支持
分享
最新回复 (33)
雪    币: 6092
活跃值: (654)
能力值: ( LV4,RANK:45 )
在线值:
发帖
回帖
粉丝
2
请问你一句你知道ECX是什么吗?
自己去查资料。就明白为什么不能删除了。
//ECX寄存器是段寄存器的一种,为计数器 SS 堆栈段
希望对你有帮助。。。我不懂汇编
http://www.chinaaspx.com/archive/vc/8703.htm
2009-1-29 15:55
0
雪    币: 231
活跃值: (45)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
qdk
3
ECX寄存器是段寄存器的一种

????
2009-1-29 15:57
0
雪    币: 2067
活跃值: (82)
能力值: ( LV9,RANK:180 )
在线值:
发帖
回帖
粉丝
4
严重学习了
2009-1-29 16:05
0
雪    币: 2362
活跃值: (10)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
5
同楼上一起学习
2009-1-29 16:10
0
雪    币: 40
活跃值: (18)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
6
弱弱问一句:
x=i++;这个语句是如何得到那几行汇编代码?
我编译得到的exe,使用OD打开得到上千行的汇编代码

请教请教,谢谢先
2009-1-29 16:12
0
雪    币: 231
活跃值: (45)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
qdk
7
搞笑,说错了你还学习
2009-1-29 16:16
0
雪    币: 231
活跃值: (45)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
qdk
8
ide弄到调试状态,然后看反汇编
2009-1-29 16:17
0
雪    币: 399
活跃值: (38)
能力值: (RANK:350 )
在线值:
发帖
回帖
粉丝
9
打开优化功能了吗?
VS2008没有用过
VC6的话,优化还是不错的,简单的循环会被直接优化为一个mov

至于楼主所说的问题,如果非要一个理由的话,我的理解是
编译器没有楼主智能
2009-1-29 16:44
0
雪    币: 40
活跃值: (18)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
10
ide弄到调试状态,然后看反汇编
==请问这个设置?我看有个菜单“调试”和“选项”
但是看不出什么地方可以设置.

请教请教
2009-1-29 16:49
0
雪    币: 2067
活跃值: (82)
能力值: ( LV9,RANK:180 )
在线值:
发帖
回帖
粉丝
11
可能起源于2条指令吧
2009-1-29 16:51
0
雪    币: 231
活跃值: (45)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
qdk
12
在你想看地方下个断点,然后f5
然后看右下角的小窗口,右键选择查看反汇编
2009-1-29 16:59
0
雪    币: 40
活跃值: (18)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
13
#include<iostream>
void main()
{
int i=1;
int x;
x=i++;
}

我编译成exe,使用OD打开,有一大堆的汇编代码

楼主:
x = i++;
mov         eax,dword ptr [i]
mov         dword ptr [x],eax
mov         ecx,dword ptr [i]
add         ecx,1
mov         dword ptr [i],ecx

我不知怎么才得到这么一点代码?
2009-1-29 17:17
0
雪    币: 6092
活跃值: (654)
能力值: ( LV4,RANK:45 )
在线值:
发帖
回帖
粉丝
14
真的是,看清楚题目啊。在VS2008中,反调试窗口。拜托你看清楚点啊,O啥D啊。。。
2009-1-29 17:53
0
雪    币: 36
活跃值: (533)
能力值: ( LV4,RANK:50 )
在线值:
发帖
回帖
粉丝
15
支持9楼的回答,没必要用ECX
不过用两个寄存器更清楚
2009-1-29 20:21
0
雪    币: 201
活跃值: (10)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
16
“请问你一句你知道ECX是什么吗?
自己去查资料。就明白为什么不能删除了。
//ECX寄存器是段寄存器的一种,为计数器 SS 堆栈段
希望对你有帮助。。。我不懂汇编
http://www.chinaaspx.com/archive/vc/8703.htm”

这个网址打不开啊!
2009-1-30 13:08
0
雪    币: 152
活跃值: (15)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
17
我是来学习二楼的
2009-1-30 15:17
0
雪    币: 152
活跃值: (15)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
18
回复LZ的
因为没有配置VS进行优化,没有优化就会生成很SB的代码。
2009-1-30 15:18
0
雪    币: 398
活跃值: (343)
能力值: (RANK:650 )
在线值:
发帖
回帖
粉丝
19
shoooo来告诉大家正确答案
谜底就是

为了实现源码级调试
2009-1-30 16:14
0
雪    币: 399
活跃值: (38)
能力值: (RANK:350 )
在线值:
发帖
回帖
粉丝
20
答案可真够长的啊,shoooo大侠好像最近比较兴奋
2009-1-30 17:18
0
雪    币: 152
活跃值: (15)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
21
为了实现源码级调试,那么VS应该是不做两条语句间的优化。比如
x=i;
i++;
应该就编译成上面的样子。
问题是现在是x=i++;那就没有道理了。
在源码上步过一句是步过x=i++;而不是x=i;吧?

也许理解有误,大侠指教
2009-1-30 17:26
0
雪    币: 200
活跃值: (10)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
22
据说i++是 i先参与运算,然后再自加1
++i是,先自加1,再参与运算,和反出来的汇编正好一样结果
2009-1-30 18:15
0
雪    币: 6092
活跃值: (654)
能力值: ( LV4,RANK:45 )
在线值:
发帖
回帖
粉丝
23
http://www.chinaaspx.com/archive/vc/8703.htm

对const声明变量的奇异行为的探讨

  发表时间:2004-8-10
作者:未知[获得此文档时候没有作者记录,深感抱歉,本文档全为转载]  
对const声明变量的奇异行为的探讨

Article last modified on 2002-7-25

----------------------------------------------------------------

The information in this article applies to:

- C/C++

----------------------------------------------------------------
奇异的现象:

我把这个试验的源代码列出来:

int main(int argc, char* argv[])

{

       const int x=10000;

       int *y=0;

       y=(int*)&x;

       *y=10;

       printf("%d\n", x);

       printf("%d\n", *y);

       return 0;

}

首先我们声明了一个const变量x,初始化为10000。然后让一个int指针y指向x。通过给*y赋值,从而改变了x的实际值!

虽然在Watch窗口中你明明看到x的值确实是10,但是printf出来的x的值却偏偏是10000!!

可是,这个已经被彻底抹去的10000,又是从哪里被找回来的呢?

我的解释:

这样的代码经过VC编译器的Debug版本的编译,最后生成的完整的汇编代码为(我做了注释,可以参考一下):

11:   int main(int argc, char* argv[])

12:   {

00401250   push        ebp

\\ 第一步,将基址寄存器(EBP) 压入堆栈

00401251   mov         ebp,esp         

\\ 第二步,把当前的栈顶指针(ESP)拷贝到EBP,做为新的基地址

00401253   sub         esp,48h

\\ 第三步,把ESP减去一个数值,用来为本地变量留出一定空间。这里减去48h,也就是

\\ 72 .

\\ 这里对前面的三步说明一下:ESP和EBP寄存器是堆栈专用的。堆栈基址指针(EBP)寄

\\ 存器确定堆栈帧的起始位置,而堆栈指针(ESP)寄存器执行当前堆栈顶。在函数的入口处,

\\ 当前堆栈基址指针被压到了堆栈中,并且当前堆栈指针成为新的堆栈基址指针。局部变

\\ 量的存储空间、函数使用的各种需要保存的寄存器的存储空间在函数入口处也被预留出

\\ 来。

\\ 所以也就有了下面的三个压栈行为。

                    

\\ 下面是连续三个压栈,第4步:

00401256   push        ebx

\\ 将ebx寄存器压栈;EBX寄存器是段寄存器的一种,为基址 DS 数据段;

00401257   push        esi

\\ 将esi寄存器压栈;ESI寄存器是指针寄存器的一种。是内存移动和比较操作的源地址寄

\\ 存器;

00401258   push        edi

\\ 将edi寄存器压栈;EDI寄存器是指针寄存器的一种。是内存移动和比较操作的目标地址

\\ 寄存器

\\ 以上四步执行完之后,函数入口处的堆栈帧结构如下所示:

\\ 值得注意的是,上面所说的对于Debug版本才是正确的,对于Release版本可不一定对。

\\ Release 版本也许已经把堆栈基址指针优化掉了。

00401259   lea         edi,[ebp-48h]

\\  第5步,lea指令装入有效地址,用来得到局部变量和函数参数的指针。这里[ebp-48h]就是基地址再向下偏移48h,就是前面说的为本地变量留出的空间的起始地址;将这个值装载入edi寄存器,从而得到局部变量的地址;

\\ 下面的这第六步可是非常的重要,请记住:

\\ 第六步,给段寄存器预先赋值:

0040125C   mov         ecx,12h

\\ ECX寄存器是段寄存器的一种,为计数器 SS 堆栈段。设为12h。

00401261   mov         eax,0CCCCCCCCh

\\ EAX寄存器是段寄存器的一种,为累加器 CS 代码段;设为0CCCCCCCCh。

00401266   rep stos    dword ptr [edi]

\\ 这句话是干吗的?

\\ 下面开始我们的代码了:

13:       const int x=10000;

00401268   mov         dword ptr [ebp-4], 2710h

\\ 第一步,在基地址向下偏移4个字节所指向的地址,将10000这个DWORD数值放进去;

\\ 可以看出的是,对于一个普通的int z = 10000;汇编代码依然是这个样子。说明从这句话

\\ 是无法分清楚局部const变量的初始化和普通变量的初始化的!这一点很重要!就是说编译器

\\ 从表面上是无法分清楚一个局部const变量和一个普通变量的。

14:       int *y=0;

0040126F   mov         dword ptr [ebp-8],0

15:       y=(int*)&x;

00401276   lea         eax,[ebp-4]

00401279   mov         dword ptr [ebp-8],eax

\\ 第2步,将x的地址装载到EAX寄存器;

\\ 第3步,再把这个地址作为一个数值导到y的地址,这样y就指向了x!

\\ 这是局部const变量声明的情况!

\\ 而对于全局const变量声明的情况,这句y=(int*)&x;的汇编却是:

\\ 00401276   mov         dword ptr [ebp-8],offset x (0043101c)

\\ 一个很显著的区别!

16:       *y=10;

0040127C   mov         ecx,dword ptr [ebp-8]

0040127F   mov         dword ptr [ecx],0Ah

\\ 第4步,通过ECX寄存器倒手,将y所指向的地址的数值修改为0Ah,也就是10!

\\ 编译器之所以允许这种修改const变量值的非法情况,是因为编译器并不知道这是一个

\\ const变量,它实在是和普通的变量太像了!

17:

18:       printf("%d\n", x);

00401285   push        2710h

\\ 第5步,将10000数值压栈!按照惯例,这个2710h会被存在当前栈顶指针前4个字节

\\ 处。原来ESP指向0012FF2C,所以现在指向0012FF28了。

\\ 编译器为什么会直接push一个常量入栈呢?

\\ 我觉得可能是这样:制定C++编译器规则的人想反正都是const变量了,它的值肯定不

\\ 能变。printf一个普通变量是倒手两个寄存器后把EAX寄存器的内容压栈,多影响效率呀。

\\ 还不如直接将这个const变量的值压栈呢。

0040128A   push        offset string "%d\n" (0042f01c)

\\ 再把格式化压栈;

\\ 这样,printf函数将取栈顶的内容打印,当然是按照%d\n来打印的,所以只会再取栈顶的

\\ 0x0012FF28指向的内容;所以打印出来的就是上面压栈的常量2710h!

\\ 这就是我给出的解释。请高手们指正。

0040128F   call        printf (004082f0)

00401294   add         esp,8

19:

20:       printf("%d\n", *y);

00401297   mov         edx,dword ptr [ebp-8]

0040129A   mov         eax,dword ptr [edx]

0040129C   push        eax

\\ 看,对于一个普通变量的printf,就不一样了!

0040129D   push        offset string "%d\n" (0042f01c)

004012A2   call        printf (004082f0)

004012A7   add         esp,8

21:

22:

23:       return 0;

004012AA   xor         eax,eax

24:   }

004012AC   pop         edi

004012AD   pop         esi

004012AE   pop         ebx

\\ 函数入口处连着三个把寄存器压栈,这里一个一个地弹出来;

004012AF   add         esp,48h

\\ ESP寄存器再加回去;

004012B2   cmp         ebp,esp

\\ 比较EBP和ESP

004012B4   call        __chkesp (00408190)

004012B9   mov         esp,ebp

\\ 将EBP中保存的栈顶指针再拷回ESP寄存器;

004012BB   pop         ebp

\\ 将EBP弹出堆栈;

004012BC   ret

还有一个问题,为什么将const int x=100;这句代码放在全局声明会发生访问禁止呢?

访问禁止是发生在:
16:       *y=10;
00401276   mov         eax,dword ptr [ebp-4]
00401279   mov         dword ptr [eax],0Ah
时。

为什么呢?

原因是,这里将0Ah存入EAX所指向的地址时,发生了0xC0000005: Access Violation。

那为什么局部const声明时没有这个问题呢?

局部const声明时,则这句*y = 10;的汇编为:
16:       *y=10;
0040127C   mov         ecx,dword ptr [ebp-8]
0040127F   mov         dword ptr [ecx],0Ah
,我们可以看出寄存器用的不一样!
前者为EAX,
后者为ECX。

有什么区别吗?
是这样子:
EAX寄存器在函数入口处,她被预先设为0CCCCCCCCh。这一点很关键!

ECX寄存器却被预先设为12h。
这样,当全局声明const变量时,我们企图将一个DWORD值写入一个0CCCCCCCCh指向的未分配的内存中,所以遭遇到访问禁止!!
而局部声明const变量时,是将一个DWORD值写入一个00000012h指向的内存中,这是可以的!!
2009-1-30 19:44
0
雪    币: 2067
活跃值: (82)
能力值: ( LV9,RANK:180 )
在线值:
发帖
回帖
粉丝
24
那个天才写的?
2009-1-30 19:48
0
雪    币: 2362
活跃值: (10)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
25
同楼上一起发问
2009-1-30 20:28
0
游客
登录 | 注册 方可回帖
返回
//