JavaScript-Obfuscator4.0.0字符串阵列化Bug及修复方法

Javascript-obfuscator是全球知名的开源JavaScript代码混淆加密工具，由俄罗斯程序员Timofey Kachalov开发维护。

在2022年2月15日发布的4.0.0版本中，其存在一个字符串阵列化Bug，某些情况下会导致混淆结果异常。本文对Bug情况进行说明并提供修复方法。

注：此bug由JShaman团队发现，并已提交作者修复。

JShaman是国内专业的javascript源代码安全研究组织，与Javascript-obfuscator保持着友好联络与技术交流。

Bug描述：

Javascript-obfuscator4.0.0，其字符串阵列功能，对async函数中的成员对象进行阵列化处理，会导致代码异常。

例如，一段NodeJS代码：

async function waitPage(page) {
    await page.evaluateHandle(function(){
        return window.renderdone;
    });
 }
 
 (async () => {
     const puppeteer = require('puppeteer');
     puppeteer.launch().then(
         async browser => {
             console.log('...');
             const [page] = await browser.pages();
             await page.goto('https://www.baidu.com');
             await waitPage(page);
         }
     )
 })();

使用Javascript-obfuscator进行混淆加密，保护选项只选择了字符串阵列化这一个功能：

混淆加密后的代码，运行时发生异常，提示有变量未定义：

注意图中命令行中所显示，第一次执行是在未加密前，可正常使用。第二次是执行加密后的代码，出现错误。

Bug原因：

上述JS代码混淆加密后出现错误的原因，是由于进行字符串的阵列化处理时，未考虑是否处于async函数中。导致阵列化时MemberExpression字面量放置到了函数不可访问的外部区域中。如下图所示：

注：绿线上方是原始代码，做对比用。参考上面图中的错误提示变量，可以看出错误原因。

Bug修复方案：

阵列化功能，在JavaScript-Obfuscator目录下的StringArrayTransformer.ts文件中。

以下为临时修复代码:

//原始： return this.transformNode(node, parentNode);
 
//修复bug后的代码：
 
//是否是异步函数的标识
var in_async_function = false;
//递归函数，检测节点所有上级节点，判断是否处于异步函数中
var point = "-";
function detect_async_function(node:ESTree.Node){
    console.log(point, node.type);
    if(node.type == "FunctionDeclaration"){
        console.log(point, node.id?.name);
    }
 
    //是函数定义，并且是异步函数
    if((node.type == "ArrowFunctionExpression" || node.type == "FunctionDeclaration" || node.type == "FunctionExpression") && node.async == true){
        in_async_function = true;
        return;
    }
    //是否达到节点顶部。测试中发现node.parentNode永远存在，达顶点后上级顶点依然是Program
    if(node.type == "Program"){
        return;
    }
    
    if(node.parentNode){
        point = point + "-";
        detect_async_function(node.parentNode)
    }else{
        //不能获得父节点，是异常的代码，跳过
        in_async_function = true;
        return;
    }
}
detect_async_function(node);
console.log(node.value,node.loc);
 
//没有检测出异步函数，正常处理
if(in_async_function == false){
    return this.transformNode(node, parentNode);
}

即：在处理字面量时，判断是否处于async函数体中，如是，则跳过。

用此方法修复后，运行混淆加密后的代码正常，如下图所示：