循环结构在反汇编中特征

本文将使用IDA分析C语言中循环结构(do while,while,for)在反汇编中的特征

目录

IDA分析 do whhile 循环

IDA分析 while 循环

IDA分析 for 循环

do while while和for哪个效率高


IDA分析 do whhile 循环

测试代码

#include 
int main()
{
	int sum = 0;
	int i = 0;
	do
	{
		sum += i;
		i++;
	} while (i < 2);
	return 0;
}

分析核心反汇编

循环结构在反汇编中特征_第1张图片

jl 小于等于跳转
总结一下 do while 循环的特点
_loop:
XXX
XXX
XXX
cmp XXX, XXX
JCC _loop
do while 循环的特点是先执行循环体,再判断循环条件进行跳转
if 分支的结构有所不同, if 分支是往下跳,而 do while 语句是往上跳,有了这个特性,就能很好的区分 if和 do while 语句了

IDA分析 while 循环

测试代码

#include 
int main()
{
int sum = 0;
int i = 0;
while (i < 2)
{
sum += i;
i++;
}
return 0;
}

分析核心反汇编代码

循环结构在反汇编中特征_第2张图片

特征总结

_loop:
CMP XXX,XXX
JCC _end
......
......
jmp _loop
_end:
do while while 的区别在于 do while 先执行循环体,再进行条件判断;而 while 是先进行判断,再执行 循环体内容,然后再次跳转到循环头部,所以你会发现while 循环中使用了两次跳转指令完成循环,因 为多用了一次跳转指令,所以while 循环比 do while 循环效率低。

IDA分析 for 循环

测试代码

#include 
int main()
{
int sum = 0;
for (int i = 0; i < 2; i++)
{
sum += i;
}
return 0;
}

分析核心反汇编

循环结构在反汇编中特征_第3张图片

for 循环的执行顺序是先执行变量初始化,再执行判断条件,再执行循环体,最后执行 i++ ,是一个 1243 的执行流程。
VS 编译器由 3 次跳转完成了循环过程,其中一次为条件比较跳转,另外两次为 jmp 跳转。 for 循环为什么 要设计的如此复杂呢?由于for 循环分为了赋初值,设置循环条件,设置循环步长这三个部分,为了单 步调试程序,将汇编代码和源码一一对应,才有了这样的设计。
for循环特点总结
_init:
初始化块
int i=0;
JMP _loop
_start:
i++;(步长块)
_loop:
CMP XXX
JCC _end
...执行循环体....

do while whilefor哪个效率高

do while 效率大于 while 大于 for do while 只需要执行一次跳转, while 需要执行两次跳转,而 for 循环 逻辑最为复杂,需要执行三次跳转

你可能感兴趣的:(C与汇编,c++,汇编)