ast 是脱敏混淆的唯一可靠基础,因其能精准识别 variabledeclarator.id 等声明节点并结合作用域判断本地绑定,避免正则误改属性名、字符串或全局引用。

不能直接用正则替换变量名,必须基于 AST 识别作用域内可安全重命名的绑定标识符,否则会破坏 window.location、console.log、字符串字面量甚至对象属性访问。
为什么 AST 是脱敏混淆的唯一可靠基础
正则替换无法区分 let user = {} 中的 user(可混淆)和 api.user.id 中的 user(不可混淆),更无法跳过 "user" 字符串或注释里的单词。AST 能精准定位到 VariableDeclarator.id、FunctionDeclaration.id、ArrowFunctionExpression.params 这三类真正“声明了局部名字”的节点,且天然携带作用域上下文。
-
Identifier节点本身不等于“可混淆名”——它可能是引用、属性名、全局变量,必须结合scope.getBinding()判断是否为本地绑定 - 混淆后若直接改
node.name,Babel 的作用域分析不会更新,导致后续referencePaths错乱,必须调用path.replaceWith() - 不处理
ImportSpecifier.local和ExportNamedDeclaration.specifiers,否则模块导入导出名丢失,运行时报ReferenceError
@babel/traverse 中如何精准识别并跳过不可混淆节点
混淆逻辑必须在 Identifier 访问器中做多层守卫,常见漏判点包括:参数名在箭头函数中被误认为引用、this/arguments 被当普通标识符、解构赋值中的 ObjectPattern 名称未过滤。
将一个或多个视频上传至YouTube。当用户想“上传到YouTube”“发YouTube”“批量上传”“upload to YouTube”“post videos to YouTube”或发布到YouTube时使用此技能。
- 先排除硬性保留字:
if (node.name === 'this' || node.name === 'arguments' || node.name === 'super')→ 直接 return - 再查绑定类型:
const binding = path.scope.getBinding(node.name);若!binding或binding.kind === 'module'(即 import 名)或binding.kind === 'hoisted'(var 提升但非当前作用域声明)→ 跳过 - 特别注意解构:
ObjectPattern和ArrayPattern下的Identifier节点需额外判断其父节点是否为VariableDeclarator.id或AssignmentPattern.left,否则const { a } = obj中的a会被错误放过 -
MemberExpression.property且computed === false(如obj.name)必须跳过,哪怕该name在当前作用域中恰好有同名变量
生成混淆名时容易忽略的作用域隔离与命名冲突
全局统一计数器(如 _a、_b)会导致不同文件、不同函数内的同名变量映射到相同混淆名,引发跨作用域覆盖;而随机字符串(如 Math.random().toString(36))又可能重复或撞上保留字。
- 每个
Scope实例应维护独立Map<string string></string>,键为原始名,值为已生成的混淆名,确保同作用域内唯一 - 混淆名建议采用前缀 + 短哈希组合,例如
_x${(scope.path.node.loc?.start.line || 0).toString(36)},避免父子作用域同名污染 - 生成前必须校验是否为 JS 保留字(可用
is-reserved-word库),否则path.replaceWith(t.identifier('enum'))会直接导致语法错误 - 对
for (let i = 0; ...)中的i,需识别其位于ForStatement.init而非VariableDeclaration,否则会被遗漏
最常被绕过的其实是 catch 参数——try { ... } catch (err) { ... } 中的 err 是合法绑定标识符,但很多混淆工具因未监听 CatchClause.param 节点而漏掉它;另外,class 内部的 static 字段初始化表达式中的变量引用,也容易因作用域链判断偏差而误伤。










