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 名称未过滤。
- 先排除硬性保留字：
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 字段初始化表达式中的变量引用，也容易因作用域链判断偏差而误伤。
