JavaScript 代码混淆实战(四):NumericLiteral拆分为BinaryExpression

逃离我推掉我的手 2023-01-08 03:22 148阅读 0赞

下面是某滑块的关键加密代码的部分截图：

![format_png][]

放眼望去，尽是两个正(负)数的异或，明明可以直接得出结果，为啥要弄成这种形式呢？这么做也许是为了吓退新手们吧。如果你会操作AST，这种代码分分钟就给还原了。所谓知己知彼，百战不殆，我们下面来简单看看这样的代码是怎么生成的。

随便取两个数(符号相同)进行异或，例如:

-16892453 ^ -16892095 = ?

得到结果:

-16892453 ^ -16892095 = 666

所以，上面截图里的代码不过是将一个 NumericLiteral 类型的节点(666) 拆分为 一个 BinaryExpression 类型的节点(-16892453 ^ -16892095)。

## 目的 ##

处理前节点:

var a = 666,b = 777;

处理后节点:

var a = -12270231 ^ -12269581,b = -14267009 ^ -14266762;

## 思路 ##

1.  首先要明确的是遍历 NumericLiteral 这样的节点
    
        const  NumericToBinary = {
          NumericLiteral(path)
          {
           // somecodes  
          },
        }
2.  需要生成一个BinaryExpression节点:
    
        let node = types.BinaryExpression("^",left,right);
3.  节点替换:
    
        path.replaceWith(node);

基本上都是这套路，很快，就写出了代码:

const  NumericToBinary = {
      NumericLiteral(path)
      {
        let value = path.node.value;
        let left = 0-Math.floor(Math.random() * 10000000 + 10000000);
        let right = value ^ left;
        
        let node = types.BinaryExpression("^",types.valueToNode(left),types.valueToNode(right));
        path.replaceWith(node);
      },
    }

运行后发现内存溢出了:

![format_png 1][]

一般出现这样的情况是因为替换的节点(node)包含了正在遍历的类型(例如NumericLiteral），因此程序会一直递归遍历下去，直到内存溢出。

想要解决这样的问题也很简单，加一行代码即可:

path.stop()

## 插件源代码 ##

所以再次修改后的代码:

const types     = require("@babel/types");
    const  NumericToBinary = {
      NumericLiteral(path)
      {
        let value = path.node.value;
        let left = 0-Math.floor(Math.random() * 10000000 + 10000000);
        let right = value ^ left;
        
        let node = types.BinaryExpression("^",types.valueToNode(left),types.valueToNode(right));
        path.replaceWith(node);
        path.stop();
      },
    }

运行后不再报内存溢出的错误，结果也正常了。

![format_png 2][]

思考:如果不用 path.stop(),还有其他的方法没？

有点，我们给出一个**退出条件**即可。例如，遍历前的节点NumericLiteral，就是一个NumericLiteral类型的节点，没有前缀 "-"，而替换后的**NumericLiteral** 节点，有了前缀"-"之后变成了 **UnaryExpression** 节点。因此，根据这个特征，可以写出退出代码:

本文完。

欢迎关注本人微信公众号，学习交流更多AST相关的知识。

![format_png 3][]

[format_png]: /images/20221119/543dd1b42cc6498a8434c098991e89be.png
[format_png 1]: /images/20221119/42f2db12566b404a888000689339555d.png
[format_png 2]: /images/20221119/d4c22a5e14e24edcb6fffc2762c686ac.png
[format_png 3]: /images/20221119/5619fac8283046049dd5770eaf069a2b.png