C语言逆向之表达式短路分析及应用

2018-04-18 16:23:32 浏览数 (1)

大家在学习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返回。

大家仔细体会!

0 人点赞