循环结构在反汇编中特征

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循环 逻辑最为复杂，需要执行三次跳转