如何通过静态分析抽象语法树（AST）手动编写一个符合团队规范的 JS 代码自动混淆插件

作者：袖梨 2026-07-19

直接操作 ESTree AST 比 jscodeshift 更可控，因其能精确处理命名约束、作用域感知替换和禁止混淆特定模式，避免破坏注释、空格及调试信息，并支持细粒度作用域隔离与安全跳过逻辑。

为什么直接操作 `estree` AST 节点比用 `jscodeshift` 更可控

因为团队规范往往涉及细粒度的命名约束、作用域感知的变量替换、以及禁止混淆特定模式（比如 __DEV__ 或 process.env），而 jscodeshift 的 transform 模式默认不保留原始节点位置、注释和空格，容易破坏可调试性。手动遍历 estree 树能精确控制每个 Identifier 是否重命名、是否跳过 ObjectPattern 中的解构名、是否保留 ImportSpecifier 的本地绑定名——这些在高阶封装里常被当成“副作用”忽略。

实操建议：

用 @babel/parser 解析源码，sourceType: 'module' 必须显式指定，否则 import 语句会解析失败
用 @babel/traverse 遍历，而非手写递归：它自动处理 Scope 链、bindings 映射、skipKeys 防止重复进入子树
混淆前先收集所有可混淆的 Identifier 类型：局部变量（VariableDeclarator.id）、函数参数（FunctionExpression.params）、for 循环中的 init 变量——但排除 ClassDeclaration.id 和 ExportNamedDeclaration.specifiers，否则导出名丢失

`Identifier` 重命名时如何避免作用域污染和引用失效

混淆不是随机换名，核心是「同作用域内唯一 + 跨作用域可区分 + 不覆盖保留字」。直接用 Math.random().toString(36).slice(2) 生成名会导致父子作用域冲突（父级变量被子级同名覆盖）；而全局统一计数器又会让不同文件的同名变量映射到相同混淆名，破坏模块隔离。

实操建议：

为每个 Scope 实例维护独立的 nameMap: Map<string string></string>，键为原始名，值为混淆后名
对 Identifier 节点，先调用 path.scope.getBinding(identifier.name) 获取绑定对象，再判断 binding.kind 是否为 'local' 或 'param'，跳过 'module' 和 'hoisted'
生成混淆名时加入作用域哈希前缀，例如 `_a${hash(scope.path.node.loc?.start)}`，避免跨文件碰撞
必须调用 path.replaceWith(...) 而非直接改 node.name，否则 Scope 不会重新分析引用关系，导致后续 binding.referencePaths 错乱

如何安全跳过团队明确定义的「不可混淆区域」

常见误操作是用正则匹配字符串字面量或注释来跳过，但 AST 层面更可靠的方式是识别节点类型与上下文语义。比如 console.log('xxx') 里的 'xxx' 是 Literals，不该进混淆逻辑；而 const API_URL = 'https://api.example.com' 中的 API_URL 是变量名，需混淆——但若该变量被标记为 /* @no-obfuscate */，就得拦截。

实操建议：

在 enter 钩子中检查 path.node.leadingComments，匹配 /@no-obfuscate/i，然后设置 path.skip()
对 MemberExpression（如 window.location.href），检查 object.name === 'window' 且 property.name === 'location'，直接跳过整条路径
对 CallExpression，若 callee.name === 'require' 或 callee.type === 'Import'，不进入其 arguments 子树
特别注意 TemplateLiteral 中的 expression：里面可能是变量引用，需单独判断是否属于可混淆作用域，不能因外层是模板字面量就一并放过

混淆后代码体积增大或执行报错？重点检查这三处

混淆插件上线后最常出现两类问题：一是压缩工具（如 terser）无法进一步压缩混淆后的长变量名，导致产物体积反增；二是某些运行时环境（如微信小程序引擎）对过短标识符（如 _a）有兼容性限制，抛出 SyntaxError: Unexpected token。

实操建议：

混淆名长度控制在 2–4 字符，用固定字符集（如 'abcdefghijklmnopqrstuvwxyz'）循环生成，避免 0、O、l 等易混淆字符
混淆后立即用 @babel/generator 输出代码，并传入 compact: true 和 jsescOption: { minimal: true } 减少转义开销
务必在混淆流程末尾插入一次 path.stop()，防止 traverse 因节点替换触发二次遍历，导致同一 Identifier 被重命名两次（例如从 foo → _a → _b）