大家在学习C语言过程中,可能会见到过一些这样的题,就是表达式短路,表达式短路主要体现在C语言中逻辑运算符&&和||。今天将对表达式短路的做逆向分析,来深入理解它。
首先利用表达式短路,我们可以写一个很经典的累加求和的函数,代码如下:
功能很简单,就是求1 2 … 99 100的数字和的一个程序,但用递归写了出来,利用逻辑与运算,左边判断是否递归到0,右边累加求和,其中的技巧巧妙的运用逻辑与运算的短路特点,实现累加的效果。请大家自行分析理解~
下面我们断点反汇编,查看重点num && (num = Add(num-1));语句的汇编代码,如下
下面详细分析:
;比较num是否为0! 这里也就是逻辑与表达式左边的判断!
0040D718 cmp dword ptr [ebp 8],0
;判断ZF标志位是否为1然后进行跳转,到return处
0040D71C je Add 35h (0040d735)
;继续把num变量送入eax寄存器
0040D71E mov eax,dword ptr [ebp 8]
;对num减1
0040D721 sub eax,1
;结果作为参数,压栈准备进入递归调用
0040D724 push eax
;继续调用Add函数,地址位于0040100a处
0040D725 call @ILT 5(_Add) (0040100a)
;栈清空
0040D72A add esp,4
;将num里的值放入ecx寄存器里
0040D72D mov ecx,dword ptr [ebp 8]
;进行累加运算
0040D730 add ecx,eax
;放回num地址处
0040D732 mov dword ptr [ebp 8],ecx
;此处为return num 返回Add函数结束
0040D735 mov eax,dword ptr [ebp 8]
大家通过阅读汇编代码,上下文联系应该就可以分析出来,递归调用时候的每次参数递减,进行累加求和,正因为逻辑与运算的短路特点会先判断左边num的值是否减到了0来决定是否还算右边的表达式,汇编代码对应num为0时JE比对跳转到return处;而为假时继续计算右边表达式,进行call命令递归调用,栈地址不断变化直至0结束return返回。
大家仔细体会!