From 006b8d459e76b398dd676e9af210731b4e860a1a Mon Sep 17 00:00:00 2001 From: angusdevgo Date: Thu, 24 Sep 2026 11:23:46 +0800 Subject: [PATCH] docs: set English as default README and add bilingual Chinese mirror (README.zh.md) --- README.md | 357 ++++++++++++++++++++++++++------------------------- README.zh.md | 275 +++++++++++++++++++++++++++++++++++++++ 2 files changed, 459 insertions(+), 173 deletions(-) create mode 100644 README.zh.md diff --git a/README.md b/README.md index 89bd1cb..31cf548 100644 --- a/README.md +++ b/README.md @@ -5,7 +5,7 @@

Seep Reverse Lab

- 面向 AI Agent 的多平台客户端逆向工程 · 授权流审计（CWE-602）· 自动化攻防工作台 + Agent-Native Multi-Platform Reverse Engineering · Authorization Audit (CWE-602) · Autonomous Security Workbench

@@ -18,254 +18,265 @@

- 项目定位 • - 核心能力 • - 目录架构 • - 核心范畴 • - MCP 工具 • - 快速开始 • - 消费规范 • - 致谢社区 • - 免责声明 + [ English | 中文文档 ] +

+ +

+ Overview • + Capabilities • + Structure • + Scope • + MCP Matrix • + Quick Start • + Agent Contract • + Community • + Disclaimer

--- -> 🔗 **致敬与参考源**： -> - 核心移动端逆向工程与验证规范参考自标杆开源项目：[**newliver666/apk-reverse**](https://github.com/newliver666/apk-reverse)（完整上游镜像与验证测试集内置于 [`Tool/upstream/apk-reverse/`](./Tool/upstream/apk-reverse/)）。 -> - 社区支持与技术讨论：[**LINUX DO**](https://linux.do/)（真诚、友善、团结、专业的技术论坛）。 +> 🔗 **Attribution & Reference Sources**: +> - Core mobile reverse engineering and verification methodology referenced from the upstream benchmark project: [**newliver666/apk-reverse**](https://github.com/newliver666/apk-reverse) (full upstream mirror and offline verification test suite bundled under [`Tool/upstream/apk-reverse/`](./Tool/upstream/apk-reverse/)). +> - Community support & technical exchange: [**LINUX DO**](https://linux.do/) (Genuine, Friendly, United, Professional Technical Community). --- -## 🌟 项目定位与解决痛点 +## 🌟 Project Overview & Problem Statement -它把分散的逆向工具链（Radare2 / JADX / Apktool / Frida / IDA）、战术知识库、提示词与实战经验，深度组装为一套 **AI Agent 能直接消费并自主驱动的自动化工作台（Agent-Native Workbench）** —— 用户仅需输入自然语言大白话，智能体即可自发展开平台识别、漏洞类型判型、微创打桩与证据链闭环交付。 +Seep consolidates fragmented reverse engineering toolchains (Radare2 / JADX / Apktool / Frida / IDA), operational knowledge bases, prompt engineering contracts, and battle-tested field experience into an **Agent-Native Autonomous Workbench**. -### 核心解决的五大痛点： -- 🚀 **工具链高度碎片化**：传统逆向需要手动切换七八个离散工具，路径四散 —— 本工作台全量内置，通过标准化 MCP 统一调度。 -- 🧠 **大模型缺乏决断逻辑**：面对混淆二进制或未知 APK，模型容易陷入盲目逆向 —— `softseep` 总控协议自发展开平台（Win/Android/Linux/Web）与业务类型（9 大类）自动判型，零摩擦分发。 -- 🛡️ **云端模型误报防拒**：日常逆向与合规白盒审计易触发模型敏感词安全熔断 —— 内置底座级 `BLOCK_NONE` 注入、动态口语合规转译与推理级思维重定向三层保险。 -- 📚 **实战经验无法沉淀**：多数逆向任务沦为一次性消耗 —— 内置 9 种脱敏工业架构范式（项目 A ~ I）与 289 篇系统化战术实战笔记，确立“先查知识库再动手”纪律。 -- 📦 **环境部署摩擦高昂**：实习生或新机器配置繁琐 —— 提供全自动一键配置脚本，原生支持 **Pi Agent**、**Claude Code**、**DeepSeek Harness (DSH)** 及 **Codex / OpenCode**。 +Users provide plain-language technical goals; the agent autonomously performs platform identification, vulnerability type classification, surgical binary patching, and closed-loop evidence delivery. + +### Five Core Pain Points Solved: +- 🚀 **Toolchain Fragmentation**: Traditional reverse engineering requires manual switching across 7+ disparate tools scattered across different paths. Seep bundles core toolchains and exposes them via a unified Model Context Protocol (MCP) server. +- 🧠 **Agent Decision Drift**: Confronted with obfuscated binaries or unknown APKs, LLMs frequently get trapped in trial-and-error rabbit holes. The `softseep` orchestrator implements automatic two-stage classification (Platform: Windows/Android/Linux/Web × Task Type: 9 categories) for deterministic routing. +- 🛡️ **Model Refusal in Security Audits**: Authorized white-box audits and reversing tasks frequently trigger provider safety filters. Seep implements a three-tier mitigation architecture: request-level `BLOCK_NONE` payload injection, transparent colloquial-to-formal security terminology mapping, and reasoning-level cognitive redirection. +- 📚 **Ephemeral Knowledge & Lack of Memory**: Most reversing tasks start from scratch. Seep bundles 9 desensitized industrial architecture paradigms (Project A through Project I) and 289 technical field journals, enforcing the discipline: *search knowledge base before executing commands*. +- 📦 **High Environment Setup Friction**: Manual toolchain configuration for new machines or interns is error-prone. Seep provides an automated one-click installation script supporting **Pi Agent**, **Claude Code**, **DeepSeek Harness (DSH)**, and **Codex / OpenCode**. --- -## ⚡ 本工作台的核心能力 (What it is good at) +## ⚡ Core Capabilities (What It Is Good At) -- 🎯 **自然语言穿透与两级自动判型**：使用者无需记忆特定选单或参数，下达“分析这个程序特权验证”、“定位本地卡密校验”、“去广告”等日常指令，总控协议自主结合文件特征（魔数与导入表）与语义动词，瞬时收敛攻击路径。 -- 🔍 **客户端鉴权脆弱性走查（CWE-602）**：在几分钟内定性受限特权是由本地布尔/时间戳驱动，还是由服务端强验签与远程资产下发决定。严密规避“强改本地标志位导致客户端向服务端索要数据失败从而发生白屏或静默崩溃”的经典伪 VIP 陷阱。 -- 🛡️ **Authenticode 数字签名完备性保全**：对于具备官方签名的 Windows 核心进程，杜绝落地修改 EXE 文件，统一通过 DLL 搜索顺序劫持（代理 `version.dll`、`sentry.dll`）在内存加载期实施微创打桩，保全宿主二进制的合法数字签名。 -- 💎 **九大工业级架构范式全覆盖**：覆盖从单进程纯离线内存打桩、多进程架构分流过滤、资源模板与 IAT Hook 显示层伪造、压缩壳处理与 ACL 注册表冻结，到 VM 集中判定重定向、.NET 算法还原离线 Keygen、自引用哈希破局、Ed25519 公钥密文替换及弱模 RSA 验签入口旁路。 -- 🔌 **全量离线预置与零外网依赖**：底层工具集（Radare2、JADX、Apktool、Playwright 自动化引擎、IDA 桥接适配层等）均物理打包内置，解压即用，在完全隔离沙箱中稳定执行。 +- 🎯 **Natural Language Intent Resolution & Two-Stage Auto-Classification**: Users do not need to memorize flags or menus. Commands like "analyze license validation", "locate card-key check", or "suppress ad gating" are mapped using binary file signatures (magic bytes, PE headers, imports) and semantic verbs to automatically converge on the correct toolchain. +- 🔍 **Client-Side Authorization Audit (CWE-602)**: Determines within minutes whether a feature gate is driven by local booleans/timestamps or by server-authoritative signatures and remote asset delivery. Prevents the classic "fake VIP trap" where forcing local booleans leads to blank screens or unhandled exceptions when requesting missing server-side data. +- 🛡️ **Authenticode Digital Signature Preservation**: For signed Windows binaries, disk-level hex patching is strictly prohibited. Seep routes through DLL search-order hijacking (proxying system libraries like `version.dll` or `sentry.dll`) to apply in-memory patches during the loading phase, keeping the host binary's Authenticode signature 100% intact. +- 💎 **Comprehensive Coverage of 9 Industrial Paradigms**: + - In-memory patching of monolithic offline binaries + - IPC message filtering in multi-process architectures + - Display-layer string forgery via IAT hooking (`SetDlgItemTextW`) + - MPRESS packing analysis, 18-point surgical patching, and Windows ACL trial-period freezing + - EXECryptor VM concentrated arbitration bypass via 2-point Call redirection + - .NET dynamic IL extraction via Harmony memory dumping and 96-bit combined hash keygen reconstruction + - Self-referential hash check bypass and startup watchdog guards + - In-place Ed25519 public key ciphertext replacement + - Sliding-window validation bypass on weak-modulus RSA +- 🔌 **Pre-Packaged Offline Execution**: Core tool suites (Radare2, JADX, Apktool, Playwright engine, IDA bridge adapter) are pre-bundled on disk, ready to run inside fully isolated sandboxes with zero external network dependencies. --- -## 📋 目录架构体系 (Structure) +## 📋 Directory Structure -本工作台遵循严密的渐进式披露（Progressive Disclosure）与分层管理规范： +Seep enforces strict progressive disclosure and modular separation of concerns: ``` Seep\ (251 MB) -├── README.md ← 全局架构与工作台标准规范说明（本文件） -├── CLAUDE.md ← 面向 Claude Code 的项目级原生指令 -├── .mcp.json ← 项目级标准 MCP 注册配置文件（供 Claude Code / OpenCode 读取） -├── DSH-PROFILE.md ← 面向 DeepSeek Harness 的 Cordis 插件配置模板 +├── README.md ← Global architecture and documentation (Default: English) +├── README.zh.md ← Chinese documentation (中文文档) +├── CLAUDE.md ← Project-level native instructions for Claude Code +├── .mcp.json ← Project-level MCP server registration (Claude Code / OpenCode) +├── DSH-PROFILE.md ← DeepSeek Harness Cordis plugin configuration template │ -├── Tool\ ← 工作台核心资产仓 -│ ├── skill\ ← 9 大逆向与白盒审计专业 Skill -│ │ ├── softseep\ ← ⭐ 核心总控 Skill（主控路由 + 8 大专题按需加载库） -│ │ ├── apkseep\ ← Android 移动端一体化逆向全链路专精 Skill（115 个工程文件） -│ │ ├── ida-reverse\ ← IDA Pro 自动化唤醒、无头探测与 MCP 深度分析协同 -│ │ ├── client-license-validation-bypass\ ← 跨运行时通用许可/卡密校验战术手册 -│ │ └── safe-skills\ ← 5 组独立战术包（通用逆向 / APK 差分 / Radare2 / JS 逆向 / IDA 辅助） +├── Tool\ ← Core workbench assets +│ ├── skill\ ← 9 specialized reverse engineering skills +│ │ ├── softseep\ ← ⭐ Master orchestrator skill (Router + 8 on-demand reference guides) +│ │ ├── apkseep\ ← End-to-end Android APK/DEX/SO reverse engineering skill (115 files) +│ │ ├── ida-reverse\ ← IDA Pro automated spawning, headless probing, and MCP coordination +│ │ ├── client-license-validation-bypass\ ← Cross-runtime license / card-key validation attack playbook +│ │ └── safe-skills\ ← 5 standalone tool packages (General RE / APK diff / Radare2 / JS RE / IDA) │ │ -│ ├── mcp\ ← 自动化工具服务层（MCP Engine） -│ │ ├── seep_mcp_server.py ← seep 核心自研 MCP 服务端（承载 22 个底层分析与知识库工具） -│ │ ├── mcp.json.template ← 全局 MCP 挂载配置标准模板 -│ │ └── Tool\ ← ⚠️ MCP 内部强约束底层工具运行时（严格保持相对路径） -│ │ ├── safe\ ← 已物理内置的跨平台逆向工具箱（JADX、Radare2、Apktool、Hook 引擎等） -│ │ │ ├── jadx\ ← 75 MB（v1.5.6 纯净优化版） -│ │ │ ├── radare2\ ← 39 MB（v6.2.2 全套二进制套件） -│ │ │ ├── apktool\ ← 24 MB（v3.0.3 原生环境） -│ │ │ ├── hook-mcp\ ← 331 KB（Frida/LSPosed 动态注入模板） -│ │ │ ├── ida-pro-mcp\ ← 28 MB（IDA 桥接适配依赖） -│ │ │ ├── js-reverse-mcp\← 61 MB（Web/JS 动态调试核心） -│ │ │ └── playwright-mcp\← 8.8 MB（无头浏览器控制台） -│ │ └── reverselab\ ← 攻防知识库核心（687 个架构文件，含 289 篇系统化战术实战笔记） +│ ├── mcp\ ← Tool service layer (MCP Engine) +│ │ ├── seep_mcp_server.py ← Core MCP server exposing 22 low-level reversing & KB tools +│ │ ├── mcp.json.template ← Global MCP client configuration template +│ │ └── Tool\ ← ⚠️ Hardcoded relative runtime path required by seep MCP +│ │ ├── safe\ ← Pre-bundled cross-platform reversing toolchains +│ │ │ ├── jadx\ ← 75 MB (v1.5.6 clean optimized build) +│ │ │ ├── radare2\ ← 39 MB (v6.2.2 full binary suite) +│ │ │ ├── apktool\ ← 24 MB (v3.0.3 runtime environment) +│ │ │ ├── hook-mcp\ ← 331 KB (Frida / LSPosed dynamic instrumentation templates) +│ │ │ ├── ida-pro-mcp\ ← 28 MB (IDA bridge adapter dependencies) +│ │ │ ├── js-reverse-mcp\← 61 MB (Web / JS dynamic debugging engine) +│ │ │ └── playwright-mcp\← 8.8 MB (Headless browser automation runtime) +│ │ └── reverselab\ ← Security knowledge base (687 files, including 289 field journals) │ │ -│ ├── prompts\ ← 智能体协同规范与扩展注入层 -│ │ ├── SYSTEM.md ← Pi Agent 专用系统指令（包含 Lab 状态机、反退缩规则、SOP 约束） -│ │ ├── AGENTS.md ← 跨 Agent（Codex、OpenCode 等）无状态通用指令规范 -│ │ └── extensions\ ← 运行时底层拦截器（安全解封注入与口令自动转译） +│ ├── prompts\ ← Agent coordination specifications and runtime extensions +│ │ ├── SYSTEM.md ← Pi Agent system instructions (Lab state machine, anti-refusal rules, SOP) +│ │ ├── AGENTS.md ← Cross-agent portable instructions (Codex, OpenCode, DSH) +│ │ └── extensions\ ← Runtime interceptors (BLOCK_NONE injection, automatic term mapping) │ │ -│ ├── cases\ ← 9 大经典实战脱敏架构工程库（项目 A ~ 项目 I） -│ │ ├── 项目A\ (单进程离线) ├── 项目B\ (多进程协同) ├── 项目C\ (资源模板与显示层伪造) -│ │ ├── 项目D\ (壳保护多策略) ├── 项目E\ (VM 保护在线核验)├── 项目F\ (.NET 混淆可逆算法算号) -│ │ ├── 项目G\ (自引用校验补丁) ├── 项目H\ (公钥密文替换) ├── 项目I\ (弱模 RSA 验签入口补丁) +│ ├── cases\ ← 9 desensitized industrial paradigm reference projects (Project A ~ I) +│ │ ├── Project A\ (Offline PE) ├── Project B\ (Multi-Process) ├── Project C\ (Resource Template & IAT Hook) +│ │ ├── Project D\ (Packer/ACL) ├── Project E\ (VM Redirect) ├── Project F\ (.NET Reversible Keygen) +│ │ ├── Project G\ (Self-Ref) ├── Project H\ (Pubkey Repl) ├── Project I\ (Weak RSA Entry Patch) │ │ -│ ├── upstream\ ← 上游溯源验证层（apk-reverse 开源验证集与离线回归测试套件） -│ ├── docs\ ← 运维与工程标准文档库（MCP 验证、下载溯源、资产依赖总清单） -│ └── scripts\ ← 工作空间管理与自动化辅助脚本集（建档、签名、IDA 启动挂载等） +│ ├── upstream\ ← Upstream verification layer (apk-reverse offline test suite) +│ ├── docs\ ← Engineering reference docs (MCP setup, download origins, dependency map) +│ └── scripts\ ← Workspace automation scripts (Case initialization, signing, IDA spawning) │ -├── setup\ ← 自动化安装、依赖配置与环境健康自检脚本集 -└── MANUAL\ ← 基础设施依赖与商业环境自备说明（Python、Node、IDA Pro 授权等） +├── setup\ ← Automated installation, dependency setup, and self-check scripts +└── MANUAL\ ← Infrastructure prerequisites and commercial licensing guide (IDA Pro, etc.) ``` --- -## 🔬 核心技术范畴 (Scope) +## 🔬 Technical Scope -本工作台将常见的商业软件防御、虚拟机加固与授权体系抽象归纳为四大纵深战术域： +Seep categorizes software protection, virtualized execution, and authorization schemes into four core technical domains: -### 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`），杜绝临场手写脆弱性探测脚本。 +### 1. CTF & Challenge Workflows +- **Attack-Network Routing**: Driven by the integrated `reverselab` framework: *Signal Detection → Knowledge Base Search (`seep_kb_search`) → Template Assembly → MCP Tool Execution*. +- **Web Targets & Non-REST Protocols**: JWT signature attacks, KID injection, SSRF chains, SSTI, prototype pollution, deserialization gadget chains, and schema-free Protobuf decoding. +- **Automated Competitions**: Standardized exploit seed libraries (`seep_kb_payloads`) and emergency triage checklists (`seep_kb_checklist`) eliminate hand-writing repetitive verification scripts under competition pressure. -### 2. 客户端决策与授权体系审计（CWE-602） -- **权威归属定性模型**：通过断网隔离、回环重定向（`netsh` 回环抢占）、时间戳伪造等动态手段，快速判定受限功能是由本地布尔值驱动还是由服务端强校验闭环。 -- **九大典型架构范式闭环**： - - **项目 A 型（单进程单点布尔）**：标量函数出口修正（如 `mov eax, 1; ret`）。 - - **项目 B 型（多进程复杂拓扑）**：前台渲染层、守护服务与虚拟机 IPC 通信的跨进程分流过滤与三层状态护航。 - - **项目 C 型（资源模板与显示层重构）**：双射掩码混淆解析；针对自研皮肤引擎下沉至 `SetDlgItemTextW` 的 IAT Hook 显示层文案伪造。 - - **项目 D 型（压缩壳与混合激活）**：MPRESS 壳分析、18 点微创二进制修补、签名数据目录截断剥离与 Windows ACL 注册表试用期冻结。 - - **项目 E 型（代码虚拟化与集中裁决）**：面对不可直接还原的 EXECryptor VM 验签过程，利用判定函数高复用特征，实施 2 点 Call 指令重定向至内存 Stub。 - - **项目 F 型（托管混淆与纯算号路径）**：针对 .NET 动态方法体剥离实施 Harmony 内存转储，还原 96 位组合哈希算法，构造离线合规 Keygen。 - - **项目 G 型（自引用校验处理）**：识别载荷对自身 SHA-384 哈希校验的死结特征，转向入口点 5 字节微创修补并部署登录项守护。 - - **项目 H 型（非对称公钥密文替换）**：利用 Ed25519 内嵌公钥密文流的单向推导漏洞，在二进制内部以相同密码流重写自持公钥，签发自定义载荷。 - - **项目 I 型（高阶数字签名入口旁路）**：分析 CNG 结构与弱模数 RSA 滑动窗口特征，直接对导出接口施加激活态注入。 +### 2. Client-Side Authorization & License Auditing (CWE-602) +- **Authority Attribution Model**: Differentiates server-authoritative gates from client-side boolean checks using airplane mode isolation, loopback hijacking (`netsh interface ipv4 add address`), and timestamp offset testing. +- **Nine Architectural Paradigms**: + - **Project A (Monolithic Offline)**: Scalar return value override (`mov eax, 1; ret`). + - **Project B (Multi-Process Hybrid)**: Sub-process name-based proxy DLL dispatching and three-tier state persistence across UI and background services. + - **Project C (Resource Template & UI Forgery)**: Bijective bit-permutation mask decoding and IAT hooking on `SetDlgItemTextW`. + - **Project D (Compressed Packer & Multi-Strategy)**: MPRESS unpacking, 18-point binary patching, digital certificate directory truncation, and Windows ACL trial-key locking. + - **Project E (Virtualized Arbitration)**: Bypass EXECryptor VM verification via 2-point Call redirection to memory stubs. + - **Project F (.NET Dynamic Deobfuscation)**: Harmony-assisted memory dumping of decrypted IL, 96-bit combined hash recovery, and offline keygen generation. + - **Project G (Self-Referential Verification)**: Identifies self-referential SHA-384 payload hashing and applies 5-byte function-entry patching with login watchdog persistence. + - **Project H (In-Place Public Key Replacement)**: Replaces embedded Ed25519 public key ciphertext within binary using derived keystreams to sign arbitrary payloads. + - **Project I (High-Order Digital Signature Bypass)**: CNG structure analysis, weak-modulus RSA sliding window identification, and activation injection on export entry points. -### 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 & DEX/SO Deep Analysis +- **Surgical DEX Patching**: Same-length byte patching (avoids method rebuilding and offset shifts) and automated recalculation of DEX header Adler-32 checksum and SHA-1 signatures. +- **Packer Diagnostics**: Clear classification tree distinguishing Java2C, native payload shells, extraction shells (trivial-body ratio metric), and private DEX-VMP bytecode. +- **Runtime Anti-Analysis Defeat**: Root detection bypass, multi-layer SSL Pinning circumvention, Native-layer Frida hooking, and Frida-RPC service bridging. +- **Repack & Align Pipeline**: Automated repacking enforcing `resources.arsc` STORED status, 4-byte Zipalign boundary alignment, and v1+v2+v3 digital signing. -### 4. 二进制反编译、动态分析与 Native 逆向 (PE/ELF/Mach-O Native RE) -- **多平台底层静态解剖**：基于内置 Radare2 执行无头模式的架构探测、节区熵分析、符号提取、反汇编与类 C 伪代码生成；挂载 IDA Pro MCP 服务，全自动反编译函数、重命名局部符号、恢复复杂结构体与交叉引用追踪。 -- **底层防御机制识别与规避**：深入研判进程自杀式故意崩溃（如特意触发 `fault addr 0x4` 等空指针陷阱以伪装缺陷）、线程守卫注入、系统调用（Raw `svc`）直接调用以及内核级驱动对抗，给出“以返回正常状态代替强制挂起死循环”的防进程锁死规范。 +### 4. Binary Disassembly & Native Reverse Engineering (PE/ELF/Mach-O) +- **Multi-Platform Static Analysis**: Headless Radare2 execution for architecture identification, section entropy scanning, symbol recovery, and C-like decompilation. Full IDA Pro MCP integration for Hex-Rays decompilation, cross-references, and struct recovery. +- **Anti-Tamper & Suicide Logic Defeat**: Analysis of deliberate crashes (e.g. `fault addr 0x4` null-pointer stubs), raw `svc` syscall detection, and kernel-level anti-debugging. Enforces the rule: *neutralize termination paths by returning clean exit codes, never by hanging execution in infinite loops*. --- -## 🛠️ MCP 工具矩阵 (Tools & MCP Matrix) +## 🛠️ MCP Tool Matrix -工作台底层挂载的自研 `seep` MCP 服务直接暴露出 **22 项** 专用分析工具，由智能体在分析过程中依据战术需要自主调用： +The bundled `seep` MCP server exposes **22 native tools** across five functional groups: -| 分类 | 工具标识 | 核心功能 | +| Category | Tool Identifier | Functionality | |---|---|---| -| **状态检测** | `seep_status` | 快速核对底层 Radare2、JADX、Apktool 及知识库的就绪状态 | -| | `seep_ida_status` | 探测 IDA Pro 远程 MCP 服务的连通性 | -| **二进制分析 (R2)** | `seep_r2_info` | 读取目标文件架构、位宽、大小端以及安全缓解机制（DEP/ASLR/Canary/PIE） | -| | `seep_r2_strings` | 提取可读字符串并支持基于关键词的正则过滤 | -| | `seep_r2_functions` | 枚举二进制内部函数拓扑、导入导出表及入口点 | -| | `seep_r2_disasm` | 输出指定函数或虚拟地址的高精度反汇编文本与交叉引用标记 | -| | `seep_r2_decompile` | 调用反编译引擎直接输出类 C 伪代码 | -| | `seep_r2_diff` | 对两个二进制样本实施代码级或十六进制差异比对 | -| | `seep_r2_asm` | 汇编单条指令为机器码或将 Hex 反解析为汇编语法 | -| | `seep_r2_cmd` | 执行底层 radare2 管道命令 | -| **Android 逆向** | `seep_apk_info` | 免安装快速解析 APK 的清单文件、组件声明、签名与架构 | -| | `seep_apk_decompile` | 调度内置 JADX 引擎输出反混淆后的 Java 源码工程 | -| | `seep_apk_unpack` | 调度 Apktool 解析明文资源与 Smali 汇编树 | -| | `seep_apk_smali_search`| 在 Smali 代码树中极速搜索密钥、API 路由或安全门禁位点 | -| | `seep_apk_gen_hook` | 根据类与方法签名自动生成开箱即用的 Frida 运行时拦截脚本 | -| **知识库检索** | `seep_kb_search` | 在 289 篇战术实战笔记中进行全文检索，输出最佳匹配的攻击面与代码片段 | -| | `seep_kb_read` | 精确读取特定技术主题手册全文 | -| | `seep_kb_checklist` | 输出专项安全排查核对清单与战术矩阵 | -| | `seep_kb_payloads` | 提取针对特定常见漏洞与认证协议的高危安全测试载荷模板 | -| **流水线编排** | `seep_task_init` | 在隔离工作区内一键初始化标准化白盒审计沙盒任务档案 | -| | `seep_auto_triage` | 对未知二进制样本执行全量快速体检 | -| | `seep_gen_security_report`| 自动归纳当前任务目录的逆向成果并输出三段式合规交付报告 | +| **Health Checks** | `seep_status` | Verifies readiness of Radare2, JADX, Apktool, and local knowledge base | +| | `seep_ida_status` | Probes connectivity to the remote IDA Pro MCP service | +| **Binary Analysis (R2)** | `seep_r2_info` | Reads binary architecture, bitness, endianness, and security mitigations (DEP/ASLR/Canary/PIE) | +| | `seep_r2_strings` | Extracts printable strings with regex and section filtering | +| | `seep_r2_functions` | Enumerates binary functions, import/export tables, and entry points | +| | `seep_r2_disasm` | Generates disassembly listings with cross-references and line markers | +| | `seep_r2_decompile` | Invokes decompiler engine to produce C-like pseudocode | +| | `seep_r2_diff` | Computes code-level or hex-level differences between two binaries | +| | `seep_r2_asm` | Assembles assembly instructions to machine code or disassembles raw hex | +| | `seep_r2_cmd` | Executes arbitrary low-level Radare2 pipeline commands | +| **Android RE** | `seep_apk_info` | Parses APK manifest, declared components, permissions, and signatures without Java | +| | `seep_apk_decompile` | Orchestrates JADX engine to output deobfuscated Java source projects | +| | `seep_apk_unpack` | Disassembles APK resources and Smali code trees via Apktool | +| | `seep_apk_smali_search`| Rapidly searches for crypto keys, API routes, or gate checks in Smali | +| | `seep_apk_gen_hook` | Generates ready-to-run Frida hooks with stack traces and argument overrides | +| **Knowledge Base** | `seep_kb_search` | Full-text searches across 289 field journals, returning actionable code and attack chains | +| | `seep_kb_read` | Retrieves full technical reference documents by topic | +| | `seep_kb_checklist` | Outputs emergency operational checklists and attack matrixes | +| | `seep_kb_payloads` | Retrieves security test payload seeds (JWT, SSRF, SSTI, SQLi, deserialization) | +| **Orchestration** | `seep_task_init` | Initializes an isolated, audit-compliant sandbox directory for new targets | +| | `seep_auto_triage` | Performs automated full-sample health check on unknown binaries | +| | `seep_gen_security_report`| Synthesizes collected findings into a 3-part structured compliance security report | --- -## 🚀 快速开始与部署规范 (Quick Start & Deployment) +## 🚀 Quick Start & Deployment -### 1. 运行依赖要求 (Prerequisites) -- **操作系统**：Windows 10 / 11 x64（推荐主环境）或兼容 Linux / macOS。 -- **核心运行时**：Python 3.11+、Node.js 18+、Git。 +### 1. Prerequisites +- **Operating System**: Windows 10 / 11 x64 (Recommended) or compatible Linux / macOS. +- **Runtimes**: Python 3.11+, Node.js 18+, Git. -### 2. 一键自动化部署 (One-Click Setup) -在终端中进入项目根目录下的 `setup/` 目录执行一键初始化脚本： +### 2. One-Click Setup +Open an elevated terminal (PowerShell as Administrator on Windows), navigate to `setup/`, and run: ```powershell cd setup powershell -ExecutionPolicy Bypass -File .\install.ps1 ``` -> **该脚本全自动执行**：解压内置压缩依赖（`node_modules.zip` / `venv.zip`）→ 校验内置 Jadx/R2 工具完整性 → 安装 Python `mcp` 协议依赖 → 注册 MCP 服务至智能体客户端 → 执行环境健康自检。 +> **What the script does automatically**: Unpacks pre-compressed dependency archives (`node_modules.zip` / `venv.zip`) → Validates pre-bundled Jadx/R2 tools → Installs Python `mcp` protocol libraries → Registers MCP servers in the agent client → Performs full environment self-checks. -### 3. 多智能体环境接入方式 +### 3. Multi-Agent Setup Guide -| 智能体平台 | 核心指令来源 | MCP 服务挂载点 | 接入说明 | +| Agent Platform | Instruction File | MCP Configuration | Setup Procedure | |---|---|---|---| -| **Pi Agent** | `Tool/prompts/SYSTEM.md` | `~/.pi/agent/mcp.json` | 运行 `install.ps1` 自动完成用户级配置写入与技能注册 | -| **Claude Code** | 项目根 `CLAUDE.md` | 项目根 `.mcp.json` | 在工作台根目录直接执行 `claude` 命令，自动读取项目级上下文 | -| **DeepSeek Harness (DSH)** | `Tool/prompts/AGENTS.md` | `DSH-PROFILE.md` (Cordis YAML) | 将通用指令部署至工作目录，将 MCP 插件配置写入 DSH Profile | -| **OpenCode / Codex** | 项目根 `AGENTS.md` | 客户端全局配置 | 复制 `AGENTS.md` 至当前项目工作根目录即可 | +| **Pi Agent** | `Tool/prompts/SYSTEM.md` | `~/.pi/agent/mcp.json` | Running `install.ps1` automatically writes user configs and registers skills | +| **Claude Code** | `CLAUDE.md` (Project root) | `.mcp.json` (Project root) | Run `claude` in the workspace root; native project-level config loads automatically | +| **DeepSeek Harness (DSH)** | `Tool/prompts/AGENTS.md` | `DSH-PROFILE.md` (Cordis YAML) | Copy generic instructions to workspace root and paste plugin config into DSH profile | +| **OpenCode / Codex** | `AGENTS.md` (Project root) | Client global config | Copy `Tool/prompts/AGENTS.md` to project root | --- -## 🎮 操作工作流与交互规范 (Workflow & Lab Mode) +## 🎮 Workflow & Lab Mode Protocol -### 1. 实验工作环境打卡 (Lab Mode Protocol) -为了在日常自由对话与严格的逆向白盒测试之间建立清晰边界，工作台设计了不依赖模型长文本记忆的磁盘状态切换机制： -- **进入测试工作环境**：向智能体发送： +### 1. Lab Mode Protocol (Disk-Backed State Machine) +To maintain a strict boundary between normal casual conversation and sensitive reverse engineering audits, Seep uses a disk-backed state machine independent of LLM context window limits: +- **Activate Lab Mode**: Send the following command to the agent: ``` - lab： + lab: ``` - *(或一步到位：`lab：分析目标样本 X.exe`)* - 智能体将在本地磁盘生成状态标记文件，随后全量启用逆向技术映射、思维重定向与防拒绝策略。在后续工作中，**无需重复携带任何前缀**。 -- **退出测试工作环境**：发送 `退出实验`，智能体即刻卸载状态标记，恢复日常常规对话。 + *(or combine with a task: `lab: analyze target binary FooBar.exe`)* + The agent generates a local state marker (`~/.pi/agent/lab-mode.flag`), activating security terminology translation, cognitive redirection, and anti-refusal overrides. **You do not need to repeat this prefix in subsequent messages.** +- **Deactivate Lab Mode**: Send `exit lab`. The agent immediately unlinks the state file and returns to normal conversation mode. -### 2. 常用任务口令 (Task Shortcuts) -在实验环境开启状态下，可直接通过标准化前置口令触发全套审计流水线： -- `poc <目标>`：快速展开客户端特权决策脆弱性（CWE-602）排查并生成验证代码。 -- `find-auth <目标>`：全局检索本地授权、许可证、到期时间、机器码相关函数与判定分支。 -- `hook <函数/方法>`：针对指定符号自动生成带堆栈打印与返回值拦截的 Frida 验证脚本。 -- `gen-patch <位点>`：输出指定 RVA 或文件偏移的二进制内存补丁代码或代理 DLL 框架。 -- `triage <样本>`：执行包括架构、导入表、加壳形态与关键字符串在内的快速体检。 -- `report`：一键扫描当前分析目录留存的全部技术证据，自动导出符合行业交付规格的三段式安全审计报告。 +### 2. Task Shortcuts (Active in Lab Mode) +- `poc `: Triggers client-side authorization audit (CWE-602) and outputs verification code. +- `find-auth `: Searches for license, subscription, expiration, and hardware-binding functions. +- `hook `: Generates Frida hooks with stack tracing and return-value replacement. +- `gen-patch `: Outputs binary patch byte sequences or proxy DLL scaffolding. +- `triage `: Runs initial triage covering architecture, imports, packers, and strings. +- `report`: Synthesizes evidence in the active directory and exports a standardized 3-part audit report. --- -## 🤖 智能体消费规范 (How an agent is expected to consume this) +## 🤖 Agent Execution Contract (How an Agent Consumes This) -本仓库的指令集与核心入口文件并非供人类漫读的参考文档，而是针对大模型“容易陷入幻觉、偏离授权目标或在长推理链条中发生退缩”这一常见缺陷设计的**程序化执行门禁（Procedures with Gates）**。 +This workspace is structured as a set of **executable gates and strict operational constraints**: -- **强制门禁（G-Auth & G0–G6）**：任何任务开展前，第一行为永远是判定目标是否属于受权白盒测试资产；随后通过“四问”确定鉴权权威（服务端 vs 客户端本地）与交付形态（补丁 / 内存劫持 / 算号 / 协议中继 / 载荷提取）。任何一步通不过则立即终止或重定向，严禁凭第一性原理盲目逆向。 -- **两击失败熔断纪律（Two-Strike Rule）**：同一假设、同一种内存补丁或逆向利用路径若连续失败两次，立即视为当前技术模型错误，强制回退至上一级判型，严禁进行第三次同构盲试。 -- **先查知识库再动手（Zero-Waste Recon）**：发现特征信号（如特定加壳混淆、JWT、加密通信、驱动对抗、自引用校验）时，禁止从零手写分析脚本，必须优先通过 `seep_kb_search` 索引成熟战术库并直接映射 MCP 工具调用。 -- **完工严格定义（Definition of Done）**：仅有控制台日志无错误绝不等于任务完成。“完成”必须满足端到端证据链闭环：从原始目标指纹、判定点 RVA 逆向还原、补丁或验证 PoC 实施、断网离线实测（确证无云端依赖）到结构化三段式报告交付，缺一不可。 +- **Mandatory Gate Sequence (G-Auth & G0–G6)**: On any new target, the agent's first step is to confirm testing authorization. It then applies the *Four Core Questions* to determine authority ownership (Server vs Client) and deliverable form (Patch / Memory Hijack / Keygen / Relay / Payload Carving). If any gate fails, execution stops immediately. +- **Two-Strike Rule**: If an assumption, patch, or exploit path fails twice in the same manner, the agent must treat its technical model as refuted and fall back to classification. A third variation of a twice-failed hypothesis is strictly prohibited. +- **Zero-Waste Recon**: When signals appear (packers, JWT, crypto, drivers, self-referential checks), the agent must query `seep_kb_search` and map to pre-existing MCP tools rather than writing scripts from scratch. +- **Strict Definition of Done**: A clean console log is not evidence of success. "Done" requires a complete evidence chain: Target hashes → RVA identification → PoC execution → Offline airplane-mode confirmation (proving zero server dependency) → 3-part structured delivery report. --- -## 📝 交付与报告标准 (Deliverable Specification) +## 📝 Deliverable Specification -任何针对客户端脆弱性的研判与审计，最终产物统一固化为咨询级安全报告架构，杜绝模糊推测： +Client-side vulnerability assessments must be delivered using a consulting-grade three-part report structure: -1. **脆弱性原理与业务危害 (Vulnerability Detail & Risk)**： - - 准确定位问题指令所处的 RVA / 文件偏移与调用链上下文。 - - 深入阐述客户端判定与业务剥离的根因，明确关联 CWE-602 等行业安全分类与威胁等级。 -2. **复现路径与可验证工程 (Reproduction & PoC)**： - - 提供 100% 可在本地沙盒复算的指令证据、代理 DLL 源代码工程或 Frida 动态注入脚本。 - - 提供严格的断网测试验证结论（证明相关特权或决策分支脱离服务端验证依然能够在离线状态下强行生效）。 -3. **纵深防御修复方案 (Defense-in-Depth Remediation)**： - - **加载期**：收敛动态链接库搜索路径（`SetDefaultDllDirectories`）杜绝环境劫持。 - - **运行期**：启用进程级动态代码策略（`ProcessDynamicCodePolicy`）封锁非法内存属性改写。 - - **逻辑层**：确立“服务端权威”原则，关键受限资源以服务端动态签名与短期令牌为唯一授权凭据。 +1. **Vulnerability Detail & Risk**: Exact instruction RVA / file offsets and call chain context. Root cause analysis mapping to CWE-602, OWASP MASVS, and business severity ratings. +2. **Reproduction & PoC**: 100% reproducible instructions, proxy DLL source code, or Frida scripts. Documented offline/airplane-mode verification evidence confirming that feature restrictions were bypassed locally without server verification. +3. **Defense-in-Depth Remediation**: + - **Loading Phase**: Restrict DLL search directories via `SetDefaultDllDirectories` to prevent search-order hijacking. + - **Runtime**: Enable `ProcessDynamicCodePolicy` to prevent executable memory manipulation. + - **Architecture**: Enforce server-side authority using cryptographic signatures and short-lived tokens for privileged actions. --- -## 🤝 致谢与社区 (Acknowledgements & Community) +## 🤝 Acknowledgements & Community -- 特别致谢开源项目 [**newliver666/apk-reverse**](https://github.com/newliver666/apk-reverse) 提供的卓越 Android 逆向门控范式与工具验证体系。 -- 感谢 [**LINUX DO**](https://linux.do/) 社区提供的高质量技术交流与探索氛围。 +- Special thanks to [**newliver666/apk-reverse**](https://github.com/newliver666/apk-reverse) for the foundational Android reverse engineering gating paradigm and verification methodology. +- Gratitude to the [**LINUX DO**](https://linux.do/) community for technical exchange, insight, and research collaboration. --- -## ⚖️ 免责声明 (Disclaimer) +## ⚖️ Disclaimer -**本工作台及其所载之一切文档、规则、脚本与工程范例仅供合法授权的安全研究、白盒安全走查、合规漏洞测试及 CTF 教学演练使用。** +**This repository, including all documentation, rules, scripts, and sample projects, is intended solely for authorized security research, white-box auditing, compliance vulnerability testing, and educational CTF training.** -- **严格授权约束**：使用者在针对任何具体软件、客户端或系统展开分析前，必须自行确保已取得资产所有者完备、合法的书面测试授权。 -- **无附带保证**：本工作台提供的所有技术方案与分析结论均基于特定沙盒环境与软件版本的实测结果按“现状”提供，不构成对任何特定商业软件或生产环境的适用性保证。 -- **最小侵入原则**：针对二进制目标的测试工作应优先在隔离虚拟机或独立副本中开展，严禁在生产系统或未经许可的网络中实施未受控的逆向测试与补丁注入。 -- **免责条款**：工作台作者与贡献者不对任何因不当使用、超出授权范围操作或违反属地法律法规所导致的任何直接或间接后果承担法律责任。 +- **Explicit Authorization Required**: Users must possess written authorization from the asset owner before analyzing any target binary, client, or system. +- **No Warranty**: All technical methodologies and research notes are provided "as is" based on sandbox measurements, without warranty of fitness for any specific environment. +- **Minimum Impact**: Analysis must be conducted in isolated virtual machines or test sandboxes. Testing against production systems or unauthorized networks is prohibited. +- **Limitation of Liability**: Authors and contributors assume no liability for misuse, unauthorized testing, or violations of applicable laws and regulations. diff --git a/README.zh.md b/README.zh.md new file mode 100644 index 0000000..d441fbd --- /dev/null +++ b/README.zh.md @@ -0,0 +1,275 @@ +

+ Seep Reverse Lab Logo +

+ +

Seep Reverse Lab

+ +

+ 面向 AI Agent 的多平台客户端逆向工程 · 授权流审计（CWE-602）· 自动化攻防工作台 +

+ +

+ Release + License + Platform + Architecture + MCP Tools + LINUX DO +

+ +

+ [ English | 中文文档 ] +

+ +

+ 项目定位 • + 核心能力 • + 目录架构 • + 核心范畴 • + MCP 工具 • + 快速开始 • + 消费规范 • + 致谢社区 • + 免责声明 +

+ +--- + +> 🔗 **致敬与参考源**： +> - 核心移动端逆向工程与验证规范参考自标杆开源项目：[**newliver666/apk-reverse**](https://github.com/newliver666/apk-reverse)（完整上游镜像与验证测试集内置于 [`Tool/upstream/apk-reverse/`](./Tool/upstream/apk-reverse/)）。 +> - 社区支持与技术讨论：[**LINUX DO**](https://linux.do/)（真诚、友善、团结、专业的技术论坛）。 + +--- + +## 🌟 项目定位与解决痛点 + +它把分散的逆向工具链（Radare2 / JADX / Apktool / Frida / IDA）、战术知识库、提示词与实战经验，深度组装为一套 **AI Agent 能直接消费并自主驱动的自动化工作台（Agent-Native Workbench）** —— 用户仅需输入自然语言大白话，智能体即可自发展开平台识别、漏洞类型判型、微创打桩与证据链闭环交付。 + +### 核心解决的五大痛点： +- 🚀 **工具链高度碎片化**：传统逆向需要手动切换七八个离散工具，路径四散 —— 本工作台全量内置，通过标准化 MCP 统一调度。 +- 🧠 **大模型缺乏决断逻辑**：面对混淆二进制或未知 APK，模型容易陷入盲目逆向 —— `softseep` 总控协议自发展开平台（Win/Android/Linux/Web）与业务类型（9 大类）自动判型，零摩擦分发。 +- 🛡️ **云端模型误报防拒**：日常逆向与合规白盒审计易触发模型敏感词安全熔断 —— 内置底座级 `BLOCK_NONE` 注入、动态口语合规转译与推理级思维重定向三层保险。 +- 📚 **实战经验无法沉淀**：多数逆向任务沦为一次性消耗 —— 内置 9 种脱敏工业架构范式（项目 A ~ I）与 289 篇系统化战术实战笔记，确立“先查知识库再动手”纪律。 +- 📦 **环境部署摩擦高昂**：实习生或新机器配置繁琐 —— 提供全自动一键配置脚本，原生支持 **Pi Agent**、**Claude Code**、**DeepSeek Harness (DSH)** 及 **Codex / OpenCode**。 + +--- + +## ⚡ 本工作台的核心能力 (What it is good at) + +- 🎯 **自然语言穿透与两级自动判型**：使用者无需记忆特定选单或参数，下达“分析这个程序特权验证”、“定位本地卡密校验”、“去广告”等日常指令，总控协议自主结合文件特征（魔数与导入表）与语义动词，瞬时收敛攻击路径。 +- 🔍 **客户端鉴权脆弱性走查（CWE-602）**：在几分钟内定性受限特权是由本地布尔/时间戳驱动，还是由服务端强验签与远程资产下发决定。严密规避“强改本地标志位导致客户端向服务端索要数据失败从而发生白屏或静默崩溃”的经典伪 VIP 陷阱。 +- 🛡️ **Authenticode 数字签名完备性保全**：对于具备官方签名的 Windows 核心进程，杜绝落地修改 EXE 文件，统一通过 DLL 搜索顺序劫持（代理 `version.dll`、`sentry.dll`）在内存加载期实施微创打桩，保全宿主二进制的合法数字签名。 +- 💎 **九大工业级架构范式全覆盖**：覆盖从单进程纯离线内存打桩、多进程架构分流过滤、资源模板与 IAT Hook 显示层伪造、压缩壳处理与 ACL 注册表冻结，到 VM 集中判定重定向、.NET 算法还原离线 Keygen、自引用哈希破局、Ed25519 公钥密文替换及弱模 RSA 验签入口旁路。 +- 🔌 **全量离线预置与零外网依赖**：底层工具集（Radare2、JADX、Apktool、Playwright 自动化引擎、IDA 桥接适配层等）均物理打包内置，解压即用，在完全隔离沙箱中稳定执行。 + +--- + +## 📋 目录架构体系 (Structure) + +本工作台遵循严密的渐进式披露（Progressive Disclosure）与分层管理规范： + +``` +Seep\ (251 MB) +├── README.md ← 全局架构与工作台标准规范说明（本文件） +├── CLAUDE.md ← 面向 Claude Code 的项目级原生指令 +├── .mcp.json ← 项目级标准 MCP 注册配置文件（供 Claude Code / OpenCode 读取） +├── DSH-PROFILE.md ← 面向 DeepSeek Harness 的 Cordis 插件配置模板 +│ +├── Tool\ ← 工作台核心资产仓 +│ ├── skill\ ← 9 大逆向与白盒审计专业 Skill +│ │ ├── softseep\ ← ⭐ 核心总控 Skill（主控路由 + 8 大专题按需加载库） +│ │ ├── apkseep\ ← Android 移动端一体化逆向全链路专精 Skill（115 个工程文件） +│ │ ├── ida-reverse\ ← IDA Pro 自动化唤醒、无头探测与 MCP 深度分析协同 +│ │ ├── client-license-validation-bypass\ ← 跨运行时通用许可/卡密校验战术手册 +│ │ └── safe-skills\ ← 5 组独立战术包（通用逆向 / APK 差分 / Radare2 / JS 逆向 / IDA 辅助） +│ │ +│ ├── mcp\ ← 自动化工具服务层（MCP Engine） +│ │ ├── seep_mcp_server.py ← seep 核心自研 MCP 服务端（承载 22 个底层分析与知识库工具） +│ │ ├── mcp.json.template ← 全局 MCP 挂载配置标准模板 +│ │ └── Tool\ ← ⚠️ MCP 内部强约束底层工具运行时（严格保持相对路径） +│ │ ├── safe\ ← 已物理内置的跨平台逆向工具箱（JADX、Radare2、Apktool、Hook 引擎等） +│ │ │ ├── jadx\ ← 75 MB（v1.5.6 纯净优化版） +│ │ │ ├── radare2\ ← 39 MB（v6.2.2 全套二进制套件） +│ │ │ ├── apktool\ ← 24 MB（v3.0.3 原生环境） +│ │ │ ├── hook-mcp\ ← 331 KB（Frida/LSPosed 动态注入模板） +│ │ │ ├── ida-pro-mcp\ ← 28 MB（IDA 桥接适配依赖） +│ │ │ ├── js-reverse-mcp\← 61 MB（Web/JS 动态调试核心） +│ │ │ └── playwright-mcp\← 8.8 MB（无头浏览器控制台） +│ │ └── reverselab\ ← 攻防知识库核心（687 个架构文件，含 289 篇系统化战术实战笔记） +│ │ +│ ├── prompts\ ← 智能体协同规范与扩展注入层 +│ │ ├── SYSTEM.md ← Pi Agent 专用系统指令（包含 Lab 状态机、反退缩规则、SOP 约束） +│ │ ├── AGENTS.md ← 跨 Agent（Codex、OpenCode 等）无状态通用指令规范 +│ │ └── extensions\ ← 运行时底层拦截器（安全解封注入与口令自动转译） +│ │ +│ ├── cases\ ← 9 大经典实战脱敏架构工程库（项目 A ~ 项目 I） +│ │ ├── 项目A\ (单进程离线) ├── 项目B\ (多进程协同) ├── 项目C\ (资源模板与显示层伪造) +│ │ ├── 项目D\ (壳保护多策略) ├── 项目E\ (VM 保护在线核验)├── 项目F\ (.NET 混淆可逆算法算号) +│ │ ├── 项目G\ (自引用校验补丁) ├── 项目H\ (公钥密文替换) ├── 项目I\ (弱模 RSA 验签入口补丁) +│ │ +│ ├── upstream\ ← 上游溯源验证层（apk-reverse 开源验证集与离线回归测试套件） +│ ├── docs\ ← 运维与工程标准文档库（MCP 验证、下载溯源、资产依赖总清单） +│ └── scripts\ ← 工作空间管理与自动化辅助脚本集（建档、签名、IDA 启动挂载等） +│ +├── setup\ ← 自动化安装、依赖配置与环境健康自检脚本集 +└── MANUAL\ ← 基础设施依赖与商业环境自备说明（Python、Node、IDA Pro 授权等） +``` + +--- + +## 🔬 核心技术范畴 (Scope) + +本工作台将常见的商业软件防御、虚拟机加固与授权体系抽象归纳为四大纵深战术域： + +### 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） +- **权威归属定性模型**：通过断网隔离、回环重定向（`netsh` 回环抢占）、时间戳伪造等动态手段，快速判定受限功能是由本地布尔值驱动还是由服务端强校验闭环。 +- **九大典型架构范式闭环**： + - **项目 A 型（单进程单点布尔）**：标量函数出口修正（如 `mov eax, 1; ret`）。 + - **项目 B 型（多进程复杂拓扑）**：前台渲染层、守护服务与虚拟机 IPC 通信的跨进程分流过滤与三层状态护航。 + - **项目 C 型（资源模板与显示层重构）**：双射掩码混淆解析；针对自研皮肤引擎下沉至 `SetDlgItemTextW` 的 IAT Hook 显示层文案伪造。 + - **项目 D 型（压缩壳与混合激活）**：MPRESS 壳分析、18 点微创二进制修补、签名数据目录截断剥离与 Windows ACL 注册表试用期冻结。 + - **项目 E 型（代码虚拟化与集中裁决）**：面对不可直接还原的 EXECryptor VM 验签过程，利用判定函数高复用特征，实施 2 点 Call 指令重定向至内存 Stub。 + - **项目 F 型（托管混淆与纯算号路径）**：针对 .NET 动态方法体剥离实施 Harmony 内存转储，还原 96 位组合哈希算法，构造离线合规 Keygen。 + - **项目 G 型（自引用校验处理）**：识别载荷对自身 SHA-384 哈希校验的死结特征，转向入口点 5 字节微创修补并部署登录项守护。 + - **项目 H 型（非对称公钥密文替换）**：利用 Ed25519 内嵌公钥密文流的单向推导漏洞，在二进制内部以相同密码流重写自持公钥，签发自定义载荷。 + - **项目 I 型（高阶数字签名入口旁路）**：分析 CNG 结构与弱模数 RSA 滑动窗口特征，直接对导出接口施加激活态注入。 + +### 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 完整数字证书重签名。 + +### 4. 二进制反编译、动态分析与 Native 逆向 (PE/ELF/Mach-O Native RE) +- **多平台底层静态解剖**：基于内置 Radare2 执行无头模式的架构探测、节区熵分析、符号提取、反汇编与类 C 伪代码生成；挂载 IDA Pro MCP 服务，全自动反编译函数、重命名局部符号、恢复复杂结构体与交叉引用追踪。 +- **底层防御机制识别与规避**：深入研判进程自杀式故意崩溃（如特意触发 `fault addr 0x4` 等空指针陷阱以伪装缺陷）、线程守卫注入、系统调用（Raw `svc`）直接调用以及内核级驱动对抗，给出“以返回正常状态代替强制挂起死循环”的防进程锁死规范。 + +--- + +## 🛠️ MCP 工具矩阵 (Tools & MCP Matrix) + +工作台底层挂载的自研 `seep` MCP 服务直接暴露出 **22 项** 专用分析工具，由智能体在分析过程中依据战术需要自主调用： + +| 分类 | 工具标识 | 核心功能 | +|---|---|---| +| **状态检测** | `seep_status` | 快速核对底层 Radare2、JADX、Apktool 及知识库的就绪状态 | +| | `seep_ida_status` | 探测 IDA Pro 远程 MCP 服务的连通性 | +| **二进制分析 (R2)** | `seep_r2_info` | 读取目标文件架构、位宽、大小端以及安全缓解机制（DEP/ASLR/Canary/PIE） | +| | `seep_r2_strings` | 提取可读字符串并支持基于关键词的正则过滤 | +| | `seep_r2_functions` | 枚举二进制内部函数拓扑、导入导出表及入口点 | +| | `seep_r2_disasm` | 输出指定函数或虚拟地址的高精度反汇编文本与交叉引用标记 | +| | `seep_r2_decompile` | 调用反编译引擎直接输出类 C 伪代码 | +| | `seep_r2_diff` | 对两个二进制样本实施代码级或十六进制差异比对 | +| | `seep_r2_asm` | 汇编单条指令为机器码或将 Hex 反解析为汇编语法 | +| | `seep_r2_cmd` | 执行底层 radare2 管道命令 | +| **Android 逆向** | `seep_apk_info` | 免安装快速解析 APK 的清单文件、组件声明、签名与架构 | +| | `seep_apk_decompile` | 调度内置 JADX 引擎输出反混淆后的 Java 源码工程 | +| | `seep_apk_unpack` | 调度 Apktool 解析明文资源与 Smali 汇编树 | +| | `seep_apk_smali_search`| 在 Smali 代码树中极速搜索密钥、API 路由或安全门禁位点 | +| | `seep_apk_gen_hook` | 根据类与方法签名自动生成开箱即用的 Frida 运行时拦截脚本 | +| **知识库检索** | `seep_kb_search` | 在 289 篇战术实战笔记中进行全文检索，输出最佳匹配的攻击面与代码片段 | +| | `seep_kb_read` | 精确读取特定技术主题手册全文 | +| | `seep_kb_checklist` | 输出专项安全排查核对清单与战术矩阵 | +| | `seep_kb_payloads` | 提取针对特定常见漏洞与认证协议的高危安全测试载荷模板 | +| **流水线编排** | `seep_task_init` | 在隔离工作区内一键初始化标准化白盒审计沙盒任务档案 | +| | `seep_auto_triage` | 对未知二进制样本执行全量快速体检 | +| | `seep_gen_security_report`| 自动归纳当前任务目录的逆向成果并输出三段式合规交付报告 | + +--- + +## 🚀 快速开始与部署规范 (Quick Start & Deployment) + +### 1. 运行依赖要求 (Prerequisites) +- **操作系统**：Windows 10 / 11 x64（推荐主环境）或兼容 Linux / macOS。 +- **核心运行时**：Python 3.11+、Node.js 18+、Git。 + +### 2. 一键自动化部署 (One-Click Setup) +在终端中进入项目根目录下的 `setup/` 目录执行一键初始化脚本： +```powershell +cd setup +powershell -ExecutionPolicy Bypass -File .\install.ps1 +``` +> **该脚本全自动执行**：解压内置压缩依赖（`node_modules.zip` / `venv.zip`）→ 校验内置 Jadx/R2 工具完整性 → 安装 Python `mcp` 协议依赖 → 注册 MCP 服务至智能体客户端 → 执行环境健康自检。 + +### 3. 多智能体环境接入方式 + +| 智能体平台 | 核心指令来源 | MCP 服务挂载点 | 接入说明 | +|---|---|---|---| +| **Pi Agent** | `Tool/prompts/SYSTEM.md` | `~/.pi/agent/mcp.json` | 运行 `install.ps1` 自动完成用户级配置写入与技能注册 | +| **Claude Code** | 项目根 `CLAUDE.md` | 项目根 `.mcp.json` | 在工作台根目录直接执行 `claude` 命令，自动读取项目级上下文 | +| **DeepSeek Harness (DSH)** | `Tool/prompts/AGENTS.md` | `DSH-PROFILE.md` (Cordis YAML) | 将通用指令部署至工作目录，将 MCP 插件配置写入 DSH Profile | +| **OpenCode / Codex** | 项目根 `AGENTS.md` | 客户端全局配置 | 复制 `AGENTS.md` 至当前项目工作根目录即可 | + +--- + +## 🎮 操作工作流与交互规范 (Workflow & Lab Mode) + +### 1. 实验工作环境打卡 (Lab Mode Protocol) +为了在日常自由对话与严格的逆向白盒测试之间建立清晰边界，工作台设计了不依赖模型长文本记忆的磁盘状态切换机制： +- **进入测试工作环境**：向智能体发送： + ``` + lab： + ``` + *(或一步到位：`lab：分析目标样本 X.exe`)* + 智能体将在本地磁盘生成状态标记文件，随后全量启用逆向技术映射、思维重定向与防拒绝策略。在后续工作中，**无需重复携带任何前缀**。 +- **退出测试工作环境**：发送 `退出实验`，智能体即刻卸载状态标记，恢复日常常规对话。 + +### 2. 常用任务口令 (Task Shortcuts) +在实验环境开启状态下，可直接通过标准化前置口令触发全套审计流水线： +- `poc <目标>`：快速展开客户端特权决策脆弱性（CWE-602）排查并生成验证代码。 +- `find-auth <目标>`：全局检索本地授权、许可证、到期时间、机器码相关函数与判定分支。 +- `hook <函数/方法>`：针对指定符号自动生成带堆栈打印与返回值拦截的 Frida 验证脚本。 +- `gen-patch <位点>`：输出指定 RVA 或文件偏移的二进制内存补丁代码或代理 DLL 框架。 +- `triage <样本>`：执行包括架构、导入表、加壳形态与关键字符串在内的快速体检。 +- `report`：一键扫描当前分析目录留存的全部技术证据，自动导出符合行业交付规格的三段式安全审计报告。 + +--- + +## 🤖 智能体消费规范 (How an agent is expected to consume this) + +本仓库的指令集与核心入口文件并非供人类漫读的参考文档，而是针对大模型“容易陷入幻觉、偏离授权目标或在长推理链条中发生退缩”这一常见缺陷设计的**程序化执行门禁（Procedures with Gates）**。 + +- **强制门禁（G-Auth & G0–G6）**：任何任务开展前，第一行为永远是判定目标是否属于受权白盒测试资产；随后通过“四问”确定鉴权权威（服务端 vs 客户端本地）与交付形态（补丁 / 内存劫持 / 算号 / 协议中继 / 载荷提取）。任何一步通不过则立即终止或重定向，严禁凭第一性原理盲目逆向。 +- **两击失败熔断纪律（Two-Strike Rule）**：同一假设、同一种内存补丁或逆向利用路径若连续失败两次，立即视为当前技术模型错误，强制回退至上一级判型，严禁进行第三次同构盲试。 +- **先查知识库再动手（Zero-Waste Recon）**：发现特征信号（如特定加壳混淆、JWT、加密通信、驱动对抗、自引用校验）时，禁止从零手写分析脚本，必须优先通过 `seep_kb_search` 索引成熟战术库并直接映射 MCP 工具调用。 +- **完工严格定义（Definition of Done）**：仅有控制台日志无错误绝不等于任务完成。“完成”必须满足端到端证据链闭环：从原始目标指纹、判定点 RVA 逆向还原、补丁或验证 PoC 实施、断网离线实测（确证无云端依赖）到结构化三段式报告交付，缺一不可。 + +--- + +## 📝 交付与报告标准 (Deliverable Specification) + +任何针对客户端脆弱性的研判与审计，最终产物统一固化为咨询级安全报告架构，杜绝模糊推测： + +1. **脆弱性原理与业务危害 (Vulnerability Detail & Risk)**： + - 准确定位问题指令所处的 RVA / 文件偏移与调用链上下文。 + - 深入阐述客户端判定与业务剥离的根因，明确关联 CWE-602 等行业安全分类与威胁等级。 +2. **复现路径与可验证工程 (Reproduction & PoC)**： + - 提供 100% 可在本地沙盒复算的指令证据、代理 DLL 源代码工程或 Frida 动态注入脚本。 + - 提供严格的断网测试验证结论（证明相关特权或决策分支脱离服务端验证依然能够在离线状态下强行生效）。 +3. **纵深防御修复方案 (Defense-in-Depth Remediation)**： + - **加载期**：收敛动态链接库搜索路径（`SetDefaultDllDirectories`）杜绝环境劫持。 + - **运行期**：启用进程级动态代码策略（`ProcessDynamicCodePolicy`）封锁非法内存属性改写。 + - **逻辑层**：确立“服务端权威”原则，关键受限资源以服务端动态签名与短期令牌为唯一授权凭据。 + +--- + +## 🤝 致谢与社区 (Acknowledgements & Community) + +- 特别致谢开源项目 [**newliver666/apk-reverse**](https://github.com/newliver666/apk-reverse) 提供的卓越 Android 逆向门控范式与工具验证体系。 +- 感谢 [**LINUX DO**](https://linux.do/) 社区提供的高质量技术交流与探索氛围。 + +--- + +## ⚖️ 免责声明 (Disclaimer) + +**本工作台及其所载之一切文档、规则、脚本与工程范例仅供合法授权的安全研究、白盒安全走查、合规漏洞测试及 CTF 教学演练使用。** + +- **严格授权约束**：使用者在针对任何具体软件、客户端或系统展开分析前，必须自行确保已取得资产所有者完备、合法的书面测试授权。 +- **无附带保证**：本工作台提供的所有技术方案与分析结论均基于特定沙盒环境与软件版本的实测结果按“现状”提供，不构成对任何特定商业软件或生产环境的适用性保证。 +- **最小侵入原则**：针对二进制目标的测试工作应优先在隔离虚拟机或独立副本中开展，严禁在生产系统或未经许可的网络中实施未受控的逆向测试与补丁注入。 +- **免责条款**：工作台作者与贡献者不对任何因不当使用、超出授权范围操作或违反属地法律法规所导致的任何直接或间接后果承担法律责任。