docs: enrich scope section with CTF, Android DEX/SO, and Native RE deep analysis
This commit is contained in:
1 parent
5109da6c31
commit
94fcdebfd6
1 file changed
+25
-11
@@ -82,9 +82,17 @@ Seep\ (251 MB)
|
||||
|
||||
## 核心分析链路与技术范畴 (Scope)
|
||||
|
||||
本工作台将常见的商业软件防御与校验体系抽象归纳为以下几大纵深战术域:
|
||||
本工作台深度聚焦于**CTF 攻防、跨平台逆向工程、Android 移动安全与二进制深度分析**,将常见的工业级防御、私有虚拟机与授权校验机制抽象为四大核心领域:
|
||||
|
||||
### 1. 客户端决策与授权体系审计(CWE-602)
|
||||
### 1. CTF 攻防竞赛与 Web/二进制靶标分析 (CTF & Challenge Workflows)
|
||||
- **实战攻防网络路由(Attack-Network Routing)**:
|
||||
基于内置 `reverselab` 体系,以“信号检测 → 战术检索(`seep_kb_search`)→ 现成 PoC/模板装配 → MCP 工具执行”的确定性链条驱动。
|
||||
- **Web 靶标与复杂协议研判**:
|
||||
覆盖 JWT 弱签及 KID 注入、SSRF 链路穿透、SSTI 模板注入、原型链污染、反序列化 Gadget Chain 匹配及无 Schema 约束的 Protobuf 逆向解析。
|
||||
- **竞赛自动化提效支撑**:
|
||||
提供标准化的漏洞测试种子库(`seep_kb_payloads`)与应急排查清单(`seep_kb_checklist`),杜绝临场手写脆弱性探测脚本。
|
||||
|
||||
### 2. 客户端决策与授权体系审计(CWE-602)
|
||||
- **权威定性模型**:通过断网、回环拦截、时钟偏移等动态观测手段,判定权益授予的真实裁决方。
|
||||
- **九大典型架构范式闭环**:
|
||||
- **单进程单点布尔判断(项目 A 型)**:标量函数出口修正(如 `mov eax, 1; ret`)。
|
||||
@@ -97,16 +105,22 @@ Seep\ (251 MB)
|
||||
- **非对称公钥就地替换(项目 H 型)**:利用 Ed25519 内嵌公钥密文流的单向推导漏洞,在可执行文件内部以相同密码流重写自持公钥,签发自定义载荷。
|
||||
- **高阶数字签名入口旁路(项目 I 型)**:分析 CNG 结构与弱模数 RSA 滑动窗口特征,直接对导出接口施加激活态注入。
|
||||
|
||||
### 2. 二进制反编译与动态观测体系
|
||||
- **跨平台静态解剖**:
|
||||
- 基于集成 Radare2 执行无头模式的架构探测、节区熵分析、符号提取、反汇编与类 C 伪代码生成。
|
||||
- 挂载 IDA Pro MCP 服务,全自动反编译函数、重命名局部符号、恢复复杂结构体与交叉引用追踪。
|
||||
- **低侵入运行时插桩**:
|
||||
- 自动生成针对 Java/Kotlin 与 Native 符号的 Frida 拦截探针,捕获入参、覆写返回值并输出完整调用栈。
|
||||
- 基于 Frida-RPC 构建本地代理服务,在逆向成本过高时代替手动逆向直接调用目标原生函数。
|
||||
### 3. Android 移动安全与全链路逆向 (Android & DEX/SO Deep Analysis)
|
||||
- **DEX 层微创手术与字节级修补**:
|
||||
提供等长字节修补机制(规避重排校验与方法膨胀)、Dex 头部校验和/SHA-1 签名逆向重算规则,对抗 R8 深度优化代码混淆。
|
||||
- **加壳防护与抽取壳深度辨析**:
|
||||
建立 Java2C(编译下沉至 SO)、原生落地壳、抽取壳(Trivial-body ratio 判定)与私有 Dex-VMP 差分分析的明确诊断树,杜绝盲目倾倒空壳 DEX。
|
||||
- **运行时环境自检与对抗绕过**:
|
||||
涵盖设备 Root 检测规避、多层 SSL Pinning 证书绑定剥离、基于 Frida 的 Native 动态插桩与基于 Frida-RPC 的跨进程服务化调用。
|
||||
- **构建与签名工程完备性**:
|
||||
封装自动化重打包流水线,原生处理 `resources.arsc` 的 STORED 状态与 4 字节边界对齐(Zipalign),实施 v1+v2+v3 完整数字证书重签名。
|
||||
|
||||
### 3. Android 移动安全全生命周期
|
||||
- 覆盖 APK 解包、Dex 指令等长微创补丁修正、签名衍生密钥对抗、VMP 私有字节码差分排查、去广告与应用生命周期阻断、Zipalign 4 字节对齐与 v1/v2/v3 证书自签名全套流程。
|
||||
### 4. 二进制反编译、动态分析与 Native 逆向 (PE/ELF/Mach-O Native RE)
|
||||
- **多平台底层静态解剖**:
|
||||
- 基于内置 Radare2 执行无头模式的架构探测、节区熵分析、符号提取、反汇编与类 C 伪代码生成。
|
||||
- 挂载 IDA Pro MCP 服务,全自动反编译函数、重命名局部符号、恢复复杂结构体与交叉引用追踪。
|
||||
- **底层防御机制识别与规避**:
|
||||
深入研判进程自杀式故意崩溃(如特意触发 `fault addr 0x4` 等空指针陷阱以伪装缺陷)、线程守卫注入、系统调用(Raw `svc`)直接调用以及内核级驱动对抗,给出“以返回正常状态代替强制挂起死循环”的防进程锁死规范。
|
||||
|
||||
---
|
||||
|
||||
|
||||
Reference in new issue
Block a user