如何通过静态分析 AST 技术手动实现一个简易的 JS 关键词混淆与脱敏工具

夜芳大大_1156

夜芳大大_1156

2026-04-24

152人浏览

原创

核心是精准识别可混淆的identifier:声明类记入作用域,引用类查作用域链决定是否替换,字面量类(如属性名)一律跳过;需隔离作用域生成混淆名、保留源码位置信息以支持sourcemap。

如何通过静态分析 ast 技术手动实现一个简易的 js 关键词混淆与脱敏工具

直接上手写 AST 混淆工具,核心不是“能不能解析”,而是“哪些 Identifier 能安全重命名、哪些必须跳过、跳过逻辑怎么嵌进遍历里”。漏掉一个 console 或误改 import 的本地绑定名,生成的代码当场报 ReferenceError。

用 Acorn 解析 + 手动遍历是最可控的起点

别一上来就用 @babel/traverse——它默认做作用域分析,但跳过规则(比如 /* @no-obfuscate */)得自己插进 visitor 里,容易覆盖原始逻辑。Acorn 解析后得到纯 ESTree 标准 AST,你可以完全掌控每个节点的处理时机。

  • acorn.parse(code, { ecmaVersion: 2022, sourceType: 'module' }) 必须带 sourceType: 'module',否则 import 语句直接 parse 失败
  • 遍历推荐用递归函数而非栈模拟:对每个节点先检查是否需跳过,再递归子节点,逻辑更直觉
  • 遇到 Program 节点时初始化全局作用域栈;进入 FunctionExpression 或 BlockStatement(含 let/const)时 push 新作用域对象

Identifier 节点必须分三类处理:声明、引用、不可混淆字面量

混淆失败的绝大多数情况,都源于把 Identifier 当成“名字”统一替换,而没区分它在语法中的角色。例如 obj.name 中的 name 是属性访问字面量,不是变量;import { foo as bar } from './x' 中的 bar 是绑定名,可混淆,但 foo 是导入名,不能动。

dmap-jsapi-skill
dmap-jsapi-skill

DMap GL地图JSAPI(dmapgl)开发指南。用于编写、审查、调试 DMap 地图 API 代码,涵盖地图初始化、覆盖物渲染、图层管理、事件处理、控件交互等任务。当用户提及 dmap、dmapgl、jsapi‑gl 或相关地图开发需求时自动触发。

下载
  • 声明类节点:检查 node.type === 'VariableDeclarator' 且 node.id.type === 'Identifier',或 FunctionDeclaration.id、ArrowFunctionExpression.params —— 这些是 binding,记入当前作用域的 nameMap
  • 引用类节点:先查当前作用域链,调用自定义 getBinding(node.name),若返回 { kind: 'local' } 或 'param',才用 nameMap.get(node.name) 替换;若返回 kind: 'module'(如 import 绑定)或 undefined(如全局 console),原样保留
  • 字面量类节点:出现在 MemberExpression.property 且 computed === false 时,跳过;出现在 ObjectProperty.key 且 shorthand === false 时也跳过

生成混淆名必须隔离作用域 + 避开保留字

用全局计数器生成 _a、_b 看似简单,但父子函数同名变量会被压成同一个混淆名,导致闭包失效。也不能用 Math.random(),那会让构建不可重现。

  • 每个作用域对象维护独立 nameMap: Map<string string></string>,键为原始名,值为混淆后名
  • 混淆名生成函数接收当前作用域已用名集合,用递增计数器(如 let counter = 0)生成 _a、_b…,每次生成前检查是否已存在或是否为 JS 保留字(可用 is-reserved-word 库)
  • 不要碰 __proto__、constructor、toString 这类特殊属性名,即使它们没被声明为变量——运行时行为可能依赖字面量拼写

注释、空格、SourceMap 不是“附加项”,是生产可用的底线

很多手动 AST 工具生成的代码没法 debug,不是逻辑错,是丢掉了原始位置信息。你改了 node.name,但没同步更新 node.loc 和 node.range,@babel/generator 就无法生成正确 source map。

  • 用 @babel/generator 生成代码,传入 { retainLines: true, compact: false, sourceMaps: true } 选项
  • 所有替换操作必须调用 path.replaceWith(newNode)(如果用 babel),或手动新建节点并复制 loc、range 字段(如果纯 Acorn)——直接赋值 node.name = 'xxx' 会断掉 source map 映射
  • 注释节点(CommentLine / CommentBlock)保留在原 AST 节点的 leadingComments / trailingComments 上,别删

真正难的不是遍历和替换,是判断“这个 Identifier 到底算不算 binding”。比如 with 语句里的所有引用都不可靠,eval 内部的变量名根本不能静态分析——这些地方必须强制跳过,哪怕加一行 /* @no-obfuscate */ 注释也比瞎猜强。

相关专题

更多
js获取数组长度的方法
js获取数组长度的方法

在js中,可以利用array对象的length属性来获取数组长度,该属性可设置或返回数组中元素的数目,只需要使用“array.length”语句即可返回表示数组对象的元素个数的数值,也就是长度值。php中文网还提供JavaScript数组的相关下载、相关课程等内容,供大家免费下载使用。

2023.06.20

4926

5

js刷新当前页面
js刷新当前页面

js刷新当前页面的方法:1、reload方法,该方法强迫浏览器刷新当前页面,语法为“location.reload([bForceGet]) ”;2、replace方法,该方法通过指定URL替换当前缓存在历史里(客户端)的项目,因此当使用replace方法之后,不能通过“前进”和“后退”来访问已经被替换的URL,语法为“location.replace(URL) ”。php中文网为大家带来了js刷新当前页面的相关知识、以及相关文章等内容

2023.07.04

1229

3

js四舍五入
js四舍五入

js四舍五入的方法:1、tofixed方法,可把 Number 四舍五入为指定小数位数的数字;2、round() 方法,可把一个数字舍入为最接近的整数。php中文网为大家带来了js四舍五入的相关知识、以及相关文章等内容

2023.07.04

4864

6

js删除节点的方法
js删除节点的方法

js删除节点的方法有:1、removeChild()方法,用于从父节点中移除指定的子节点,它需要两个参数,第一个参数是要删除的子节点,第二个参数是父节点;2、parentNode.removeChild()方法,可以直接通过父节点调用来删除子节点;3、remove()方法,可以直接删除节点,而无需指定父节点;4、innerHTML属性,用于删除节点的内容。

2023.09.01

960

4

JavaScript转义字符
JavaScript转义字符

JavaScript中的转义字符是反斜杠和引号,可以在字符串中表示特殊字符或改变字符的含义。本专题为大家提供转义字符相关的文章、下载、课程内容,供大家免费下载体验。

2023.09.04

1876

5

js生成随机数的方法
js生成随机数的方法

js生成随机数的方法有:1、使用random函数生成0-1之间的随机数;2、使用random函数和特定范围来生成随机整数;3、使用random函数和round函数生成0-99之间的随机整数;4、使用random函数和其他函数生成更复杂的随机数;5、使用random函数和其他函数生成范围内的随机小数;6、使用random函数和其他函数生成范围内的随机整数或小数。

2023.09.04

3485

4

如何启用JavaScript
如何启用JavaScript

JavaScript启用方法有内联脚本、内部脚本、外部脚本和异步加载。详细介绍:1、内联脚本是将JavaScript代码直接嵌入到HTML标签中;2、内部脚本是将JavaScript代码放置在HTML文件的`<script>`标签中;3、外部脚本是将JavaScript代码放置在一个独立的文件;4、外部脚本是将JavaScript代码放置在一个独立的文件。

2023.09.12

4533

6

Js中Symbol类详解
Js中Symbol类详解

javascript中的Symbol数据类型是一种基本数据类型,用于表示独一无二的值。Symbol的特点:1、独一无二,每个Symbol值都是唯一的,不会与其他任何值相等;2、不可变性,Symbol值一旦创建,就不能修改或者重新赋值;3、隐藏性,Symbol值不会被隐式转换为其他类型;4、无法枚举,Symbol值作为对象的属性名时,默认是不可枚举的。

2023.09.20

2980

5

java访问控制修饰符介绍
java访问控制修饰符介绍

java访问控制修饰符有四种,分别是public、protected、private、默认访问修饰符。详细介绍:1、public,public是最宽松的访问控制修饰符,被修饰的类、方法和变量可以被任何其他类访问,当一个类、方法或变量被声明为public时,它们可以在任何地方被访问,无论是同一个包中的类还是不同包中的类;2、protected修饰符等等。

2023.09.20

948

7

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
WEB前端教程【HTML5+CSS3+JS】
WEB前端教程【HTML5+CSS3+JS】

共101课时 | 21万人学习

JS进阶与BootStrap学习
JS进阶与BootStrap学习

共39课时 | 4.8万人学习