流程混淆 ( 二 )

由于昨天发布 MaxtoCode ，所以没有时间写随笔。

本来是没有这一篇的，但想了想，觉得自己讲得太肤浅，怕有的朋友听不懂，所以决定在流程混淆里再讲一篇。这次我们拿 XenoCode 的混淆算法来进行一次详细的讲解。

XenoCode 可能是需要保护自己软件的朋友最常用的混淆工具，他的流程混淆算法是怎样的呢？（有的叫做 控制流程模糊，其实原理都一样）

首先，我再次申明，制造混淆最常用的方式是跳转指令。它就是把原有的代码结构错位，再用跳转指令把原有的执行逻辑连接起来。见上一篇文章的表。而跳转指令有强形跳转如： C# 中的 goto ，也有逻辑跳转，如 C# 中的 if (a==0){goto ?} 等，如果在混淆中充分利用这些技术，混淆的程序将相当复杂，反混淆器将更加困难。还好 XenoCode 使用的仅仅是 goto ，而没有包含逻辑跳转在其中。（当然，如果有逻辑跳转，也可以写出反混淆器，因为必须模式是一样的，总要有条件，比方说： a ＝＝ 0 才跳，这一句就必须跳，所以 a 必须恒等于 0 ，那么在逻辑处理的前面肯定有 a 置 0 的语句，满足这两个条件，我们就可以判断这是一个破坏条件的条件，名进行恢复）

好，这次我们主要分析 XenoCode 是如何来进行流程混淆的，你也可以手工校仿，不过效率并不高。

我们还是来看上篇文章的代码：

.method private hidebysig instance string CreatePassword(char[] xb97f21c4af3d3653, int32 x37f140bfe992d2c4, int32 x6ad44599b278247e) cil managed
{
// Code Size: 56 byte(s)
.maxstack 4
.locals (
int32 num1,
[mscorlib]System.Random random1,
string text1)
L_0000: newobj instance void [mscorlib]System.Random::.ctor()
L_0005: stloc.1
L_0006: ldstr ""
L_000b: br.s L_0021
L_000d: mul
L_000e: conv.i4
L_000f: ldelem.u2
L_0010: box char
L_0015: call string string::Concat(object, object)
L_001a: stloc.2
L_001b: ldloc.0
L_001c: ldc.i4.1
L_001d: add
L_001e: stloc.0
L_001f: br.s L_0032
L_0021: stloc.2
L_0022: ldc.i4.0
L_0023: stloc.0
L_0024: br.s L_0032
L_0026: ldloc.2
L_0027: ldarg.1
L_0028: ldloc.1
L_0029: callvirt instance float64 [mscorlib]System.Random::NextDouble()
L_002e: ldarg.2
L_002f: conv.r8
L_0030: br.s L_000d
L_0032: ldloc.0
L_0033: ldarg.3
L_0034: ble.s L_0026
L_0036: ldloc.2
L_0037: ret
}

 

分析一下其中的 br.s 指令，（ br.s 指令是强跳指令）我们可以得出一个结论：

L_000b: br.s L_0021
L_001f: br.s L_0032
L_0030: br.s L_000d

这三个是重要跳转指令，其算法如下：

序号	源代码块	序号	新代码块
1	块 1	1	块 1
2	块 2	2	块 4
3	块 3	3	块 3
4	块 4	4	块 2

这是什么意思呢？

从方法的头尾开始分析，直至中间分析完毕。尾部的基本上就是头部的代码，头部的也有尾部的代码，互相交错，从而实现混淆，一般的反编译器只能对此 Say No 了。

如果你要手工混淆你的代码，你需要做以下几件事：

•  把源代码分成几块

•  把这么几块的顺序打乱

•  用 br.s 对这几块的顺序进行连接，并保护执行达到原来的逻辑

•  重新计算行号

这样，你就能拥有自己的流程混淆了。如果你加入真真假假的逻辑跳转来混淆，强度将会更大。

下一篇，我们讲讲反流程混淆的工作，其实，反流程混淆就是从混淆中找到共同点，并对其进行重新整理，而混淆都有共同点，即使存在特殊情况，也可以用手工来辅助处理。混淆安全吗？你马上就可以知道结果。

赶时间之作，如有错误，请见谅。欢迎各位朋友进行讨论。