循环结构在反汇编中特征

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

目录

IDA分析 do whhile 循环

IDA分析 while 循环

IDA分析 for 循环

do while while和for哪个效率高

---

IDA分析 do whhile 循环

测试代码

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

分析核心反汇编

jl 小于等于跳转

总结一下 do while 循环的特点

_loop:
XXX
XXX
XXX
cmp XXX, XXX
JCC _loop

do while 循环的特点是先执行循环体，再判断循环条件进行跳转

和 if 分支的结构有所不同， if 分支是往下跳，而 do while 语句是往上跳，有了这个特性，就能很好的区分 if和 do while 语句了

IDA分析 while 循环

测试代码

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

分析核心反汇编代码

特征总结

_loop:
CMP XXX,XXX
JCC _end
......
......
jmp _loop
_end:

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

IDA分析 for 循环

测试代码

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

分析核心反汇编

for 循环的执行顺序是先执行变量初始化，再执行判断条件，再执行循环体，最后执行 i++ ，是一个 1243 的执行流程。

VS 编译器由 3 次跳转完成了循环过程，其中一次为条件比较跳转，另外两次为 jmp 跳转。 for 循环为什么 要设计的如此复杂呢？由于for 循环分为了赋初值，设置循环条件，设置循环步长这三个部分，为了单 步调试程序，将汇编代码和源码一一对应，才有了这样的设计。

for循环特点总结

_init:
初始化块
int i=0;
JMP _loop
_start:
i++;(步长块)
_loop：
CMP XXX
JCC _end
...执行循环体....

do while while和for哪个效率高

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