AST反混淆实战篇二十四|if表达式语句的优化

末蓝、 2022-08-28 06:50 217阅读 0赞

在一些半处理过后的混淆代码，经常会看到一些不是很规范的if表达式，干扰分析，如:

1.没有加或者部分加大括号的代码:

if (a) b;else c;
    if (a) {b;}else c;
    if (a) b;else {c;}

2.if语句条件已知的代码:

if (1+1) b;else c;
    if (1-1) b;else c;

3.if语句块包含空语句:

if (a) {} else b;
    if (a) b;else {}

以上这些，都是可以进行再次优化的半垃圾代码。

## 一.插件名称 ##

**if表达式语句的优化。**

## 二.还原实例 ##

还原前:

if (a) b;else c;
    if (a) {b;}else c;
    if (a) b;else {c}
    if (1+1) b;else c;
    if (1-1) b;else c;
    if (a) {} else b;
    if (a) b;else {}

还原后:

if (a) {
      b;
    } else {
      c;
    }
    
    
    if (a) {
      b;
    } else {
      c;
    }
    
    
    if (a) {
      b;
    } else {
      c;
    }
    
    
    b;
    c;
    
    
    if (!a) {
      b;
    }
    
    
    if (a) {
      b;
    }

## 三.是否通用 ##

**是。**

## 四.还原思路 ##

*  对于第一种没有加大括号的情况，给它加上即可，即重新生成一个 BlockStatement 节点再替换即可，注意其 参数 是一个Array类型，具体看我源代码里面的写法。
 *  对于第二种条件已知的情况，可以使用 evaluateTruthy 方法来判断test节点的值，从而得出到底会走哪个分支，替换即可。
 *  对于第三种空语句的情况，需要判断各自的body长度，详细思路可参加代码，不懂的可留言提问。

## 五.插件源代码 ##

星友们可以访问这里获取插件源代码:

https://t.zsxq.com/Em2baII

AD：

![fb185f409b770957569e16c7598321a2.png][]

[fb185f409b770957569e16c7598321a2.png]: /images/20220828/6cce99d9d14d4b69bad4a705a571a102.png