@TOC
观察三个switch的值分别是Ci、mi和Ai。而这三个值又因为li的确定而确定的。也就是说已知li的值，就可以分别计算出Ci、mi和Ai，就可以确定执行的是哪一条语句。那么反过来，如果已知Ci、mi和Ai三个值，也可以反向计算出li的值了。
那么按照这个思路。就可以把多重的case的值计算出其对应最上一层的值，变成最简单的switch结构，形如下面
******省略代码******
for (var li = 16996; void 0 !== li;) {
var Ci = 31 & li,
fi = li >> 5,
mi = 31 & fi,
bi = fi >> 5,
Ai = 31 & bi;
switch (Ci) {
case 0:
switch (mi) {
case 0:
switch (Ai) {
case 0:
Dn.push(0), li = 11522;
break;
case 1:
L = mo, li = 24641;
break;
******省略代码******
上面这样的代码，应该被压缩成下面
******省略代码******
for (var li = 16996; void 0 !== li;) {
switch (li) {
case 0:
Dn.push(0), li = 11522;
break;
case 1024:
L = mo, li = 24641;
break;
******省略代码******
使得原来需要处理三个变量的结构，直接变成只需要处理一个变量，调试上去会变得简单很多。
接着下来调试发现，一条语句里面是一个逗号表达式，一次就执行完了，没有办法一句一句的分析，所以想把这些逗号表达式都分开，更加清晰的来分析
这里用蔡老板的代码直接搞定，这一步相对是简单的，就不太详细说了，看看效果对比
此时可以看到，所有的逗号表达式都变成了一条一条的语句了，为后面的去除控制流平坦化提供了可能。
这时即使调试代码，依然会发现运行过程中，代码一直上下跳转，而不是从上往下的执行，需要想办法把这种跳来跳去的情况去除。
仔细观察可以发现，每一个case的最后一句，总是指向他的下一个case，那么如果把每一个case，按照这样拼接起来，那么函数执行的时候，不就不会再跳来跳去的了
******省略代码******
case 0:
Dn.push(0);
li = 11522;
break;
******省略代码******
拼接一次变成
******省略代码******
case 0:
Dn.push(0);
li = z ? 8833 : 15362;
break;
******省略代码******
经过非常多次拼接后，使得每一个switch仅仅只有一个case。
switch中只有一个case，不是相当于没有这个结构吗，最后直接去掉这个switch结构，仅仅保留函数内容
这个时候控制流平坦化已经去除完成，整个代码已经是从上往下的执行了。但是代码中的字符串还是被混淆的，形如下面。下一章尝试还原这些字符串
[复制链接]
发表于 2021-12-26 13:39
