refactor: 将文件从子目录提升到仓库根目录
所有文件从 hello_js_reverse_skill/ 子目录移至仓库根目录, 使项目结构更清晰,便于作为 Skill 直接引用。 Made-with: Cursor
This commit is contained in:
@@ -0,0 +1,198 @@
|
||||
# JS 混淆识别与还原指南
|
||||
|
||||
## 混淆类型速查
|
||||
|
||||
### 1. OB 混淆 (obfuscator.io)
|
||||
|
||||
**识别特征**:
|
||||
- 大量 `_0x` 前缀变量名(如 `_0x4a3b2c`)
|
||||
- 顶部有十六进制字符串数组(`var _0xabc = ['...', '...', ...]`)
|
||||
- 字符串数组旋转函数
|
||||
- 十六进制属性访问(`obj['_0x1234']` 替代 `obj.method`)
|
||||
|
||||
**还原步骤**:
|
||||
1. 定位字符串数组和旋转函数
|
||||
2. 执行旋转函数得到最终字符串数组
|
||||
3. 全局替换十六进制索引为实际字符串
|
||||
4. 简化数学表达式和逻辑运算
|
||||
5. 变量重命名提高可读性
|
||||
|
||||
**MCP 辅助**:
|
||||
```
|
||||
[js-reverse] search_in_sources(query="_0x") → 定位混淆入口
|
||||
[js-reverse] evaluate_script → 在浏览器中执行字符串数组还原
|
||||
[js-reverse] save_script_source → 保存到本地进一步分析
|
||||
```
|
||||
|
||||
### 2. 控制流平坦化 (CFF)
|
||||
|
||||
**识别特征**:
|
||||
```javascript
|
||||
var state = initialState;
|
||||
while (true) {
|
||||
switch (state) {
|
||||
case 'A': /* ... */ state = 'C'; break;
|
||||
case 'B': /* ... */ state = 'D'; break;
|
||||
case 'C': /* ... */ state = 'B'; break;
|
||||
// ...
|
||||
}
|
||||
}
|
||||
```
|
||||
|
||||
**还原步骤**:
|
||||
1. 找到初始状态值
|
||||
2. 按状态转移顺序排列代码块
|
||||
3. 去掉 switch-case 包装,还原为顺序代码
|
||||
4. 简化多余的变量赋值
|
||||
|
||||
**MCP 辅助**:
|
||||
```
|
||||
[js-reverse] set_breakpoint_on_text(text="switch") → 在状态机入口断点
|
||||
[js-reverse] step_over → 逐步追踪状态转移
|
||||
[js-reverse] get_paused_info → 查看当前状态值
|
||||
```
|
||||
|
||||
### 3. eval / Function 打包
|
||||
|
||||
**识别特征**:
|
||||
```javascript
|
||||
eval(function(p,a,c,k,e,d){...}('encoded_string',...))
|
||||
// 或
|
||||
new Function('return ' + decryptedCode)()
|
||||
```
|
||||
|
||||
**还原步骤**:
|
||||
1. Hook `eval` 和 `Function` 构造器,拦截实际执行的代码
|
||||
2. 或者将 `eval()` 替换为 `console.log()` 查看解密后的代码
|
||||
3. 可能有多层嵌套,需要逐层解包
|
||||
|
||||
**MCP 辅助**:
|
||||
```
|
||||
[js-reverse] inject_before_load(script="eval/Function Hook")
|
||||
[js-reverse] list_console_messages → 读取解包后的代码
|
||||
```
|
||||
|
||||
### 4. AAEncode
|
||||
|
||||
**识别特征**:
|
||||
```javascript
|
||||
゚ω゚ノ= /`m´)ノ ~┻━┻ //*´∇`*/ ['_'];
|
||||
// 全是日文颜文字字符
|
||||
```
|
||||
|
||||
**还原**:直接在浏览器 console 执行,或去掉最外层执行函数改为输出。
|
||||
|
||||
### 5. JJEncode
|
||||
|
||||
**识别特征**:
|
||||
```javascript
|
||||
$=~[];$={___:++$,$$$$:(![]+"")[$],...
|
||||
// 全是 $ 和特殊字符
|
||||
```
|
||||
|
||||
**还原**:同 AAEncode,直接执行或替换执行为输出。
|
||||
|
||||
### 6. JSFuck
|
||||
|
||||
**识别特征**:
|
||||
```javascript
|
||||
[][(![]+[])[+[]]+(![]+[])[!+[]+!+[]]+(![]+[])[+!+[]]+(!![]+[])[+[]]]...
|
||||
// 仅使用 []()!+ 六种字符
|
||||
```
|
||||
|
||||
**还原**:直接在浏览器执行。
|
||||
|
||||
### 7. 自定义 VM / 字节码解释器
|
||||
|
||||
**识别特征**:
|
||||
- 超大数组作为"字节码"
|
||||
- 解释器循环,包含 `switch` 或函数查找表
|
||||
- 通常在 IIFE 中
|
||||
- 无法通过简单字符串替换还原
|
||||
|
||||
**还原策略**:
|
||||
1. **不要尝试反编译字节码**
|
||||
2. 找到解释器的输入和输出接口
|
||||
3. 通过 Hook 解释器的关键操作(函数调用、赋值、返回)来理解行为
|
||||
4. 直接在 Node.js 中运行字节码解释器
|
||||
|
||||
**MCP 辅助**:
|
||||
```
|
||||
[js-reverse] trace_function(functionName="解释器函数")
|
||||
[js-reverse] set_breakpoint_on_text(text="switch") → 在解释器循环断点
|
||||
[js-reverse] step_over → 观察每步操作
|
||||
```
|
||||
|
||||
### 8. JSVMP(JS 虚拟机保护)
|
||||
|
||||
**识别特征**:
|
||||
- 超大 JS 文件(200KB+)
|
||||
- 包含自定义解释器和操作码表
|
||||
- 函数名和变量名完全无意义
|
||||
- 改写浏览器原生 API
|
||||
|
||||
**还原策略**:
|
||||
1. **不要反编译,通过 I/O 定位**
|
||||
2. Hook 所有出口(XHR、Cookie、fetch)
|
||||
3. 追踪加密函数的输入和输出
|
||||
4. 用已知 I/O 反推算法
|
||||
|
||||
**MCP 辅助**:
|
||||
```
|
||||
[js-reverse] break_on_xhr(url="目标接口") → 在请求发出时暂停
|
||||
[js-reverse] get_paused_info → 获取调用栈
|
||||
[js-reverse] inject_before_load → 注入全局 Hook
|
||||
```
|
||||
|
||||
## 通用反混淆 Node.js 工具
|
||||
|
||||
### 使用 AST 进行基础还原
|
||||
|
||||
```javascript
|
||||
const parser = require('@babel/parser');
|
||||
const traverse = require('@babel/traverse').default;
|
||||
const generate = require('@babel/generator').default;
|
||||
const t = require('@babel/types');
|
||||
|
||||
function deobfuscate(code) {
|
||||
const ast = parser.parse(code);
|
||||
|
||||
traverse(ast, {
|
||||
// 还原十六进制字符串
|
||||
StringLiteral(path) {
|
||||
if (/^\\x/.test(path.node.extra?.raw || '')) {
|
||||
path.node.extra = undefined;
|
||||
}
|
||||
},
|
||||
// 还原计算属性为点号访问
|
||||
MemberExpression(path) {
|
||||
if (t.isStringLiteral(path.node.property) && /^[a-zA-Z_$]/.test(path.node.property.value)) {
|
||||
path.node.computed = false;
|
||||
path.node.property = t.identifier(path.node.property.value);
|
||||
}
|
||||
},
|
||||
// 折叠常量表达式
|
||||
BinaryExpression(path) {
|
||||
if (t.isNumericLiteral(path.node.left) && t.isNumericLiteral(path.node.right)) {
|
||||
const result = eval(`${path.node.left.value} ${path.node.operator} ${path.node.right.value}`);
|
||||
if (typeof result === 'number' && isFinite(result)) {
|
||||
path.replaceWith(t.numericLiteral(result));
|
||||
}
|
||||
}
|
||||
}
|
||||
});
|
||||
|
||||
return generate(ast, { comments: false }).code;
|
||||
}
|
||||
```
|
||||
|
||||
## 混淆代码分析的 MCP 工作流
|
||||
|
||||
```
|
||||
1. save_script_source → 保存混淆代码到本地
|
||||
2. search_in_sources → 搜索可能的入口函数
|
||||
3. set_breakpoint_on_text → 在入口设断点
|
||||
4. get_paused_info → 查看运行时变量,理解数据流
|
||||
5. evaluate_script → 在浏览器执行还原操作
|
||||
6. step_into → 跟进关键函数调用
|
||||
```
|
||||
Reference in New Issue
Block a user