一、 条件分支的逆向基础
(1)简单if-else
我们知道简单的if-else的跳转结构是这样的。
例如:
if(i1<x1)
……;
else
……;
在反汇编结果中我们会看到类似下面的结果
两点说明::
①jxx AAAAAAAA 这句由于false则跳转,因此还原为if代码时,要注意。
②jmp BBBBBBBB 这句在功能上属于if的部分,但是如果没有else,编译器不会填写此句。
(2)多层嵌套if-else
if(i<x1)
{…
if(i<x2)
{…
if(i<x3)
…..
else
…..
}
else
……
}
对应反汇编形态:(地址A、B、C、D从小到大分布)
Debug版
说明:
这里我们看到在Debug版里,多层嵌套if-else只是简单重复单层if-else的结构。另外,jxx仍然是false则跳转,翻译为if时,要注意。
Release版
说明:
我们看到Release版对Debug改进,避免了jmp的多次运行。
二、复杂条件的条件分支逆向
1.复合条件的条件分支
(1)与——&&
if(i1<x1 && i2<x2 && i3<x3)
……
else
……
反汇编形态:
(2)或——||
if(i1<x1 || i2<x2 || i3<x3)
……
else
……
反汇编形态:
(3)混合
if(i1<x1||i2<x2&&i3<x3)
……
else
……
if(i1<x1&&i2<x2||i3<x3)
……
else
……
反汇编形态: