AST反混淆实战篇五:还原初始化为常量且始终未修改的变量

超、凢脫俗 2022-09-10 03:23 29阅读 0赞

在早些时候做 js逆向的时候，遇到过类似这样的一段代码:

function add(L, z) {
        var s = 9;
        if (!((O(775) ? 0 : 1) + Math[Z(s, 123, 106, 119, 109, 120, 118)]()) && new Date % (O(789),
        3))
            arguments[_(743397773, s)]();
        for (var J = "", l = (O(200),
        0); l < L[_(1294399196, s)]; l++)
            J += String[S(s, 111, 123, 120, 118, 76, 113, 106, 123, 76, 120, 109, 110)](L[S(s, 108, 113, 106, 123, 76, 120, 109, 110, 74, 125)]((l + L[_(1294399196, s)] - z) % L[_(1294399196, s)]));
        return J
    }

函数首先定义了一个 变量s，初始化为一个常量，后面有多次引用它，但没有改变其初始值，为什么要提到前面来定义呢？为了混淆么？

刚开始我使用的是正则替换，代码写的那叫一个惨不忍睹，后来学习了AST以后，这种还原非常的简单，可以说简直不费吹灰之力。

## 一.插件名称 ##

**初始化值未被修改的变量还原。**

## 二.还原实例 ##

还原前:

var a = 123;
    const b = -5;
    let c = window;
    function d()
    {
      var f = c.btoa("hello,AST!");
      return a + b + f ;
    }

还原后:

function d() {
      var f = window.btoa("hello,AST!");
      return 123 + -5 + f;
    }

## 三.是否通用 ##

**是。**

## 四.还原思路 ##