frida-mcp-workflow

Frida MCP 工作流

按顺序运行以下阶段。不得跳过任何阶段。

阶段 1：构思

• 定义目标：进程／应用标识符、平台和会话类型。
• 定义目标：必须观察到什么信号／结果。
• 使用函数前先查询文档：针对每个非平凡的 API／运行时假设，调用 search_frida_docs。
• 编写脚本前，记录 2-5 条“使用的文档事实”。
• 仅假设 Frida 17 的语义。不得使用 Frida 16 的假设。

硬性停止条件：

• 如果文档缺失或含糊不清，应缩小查询范围并重试，然后再编写脚本。

阶段 2：编写脚本

• 优先使用已保存的文件，而非内联脚本。
• 仅允许对简短的只读探测使用内联脚本。
• 对 Hook 脚本，必须使用基于文件的脚本和 load_script。
• 声明 script_id、用途和明确的目标列表（模块／符号或类／方法）。
• 添加幂等保护，防止重复安装。
• 定义拆除路径（uninstall RPC 导出或等效方式）。

脚本策略：

• 如果脚本超过 25 行或会写入 Hook，则将其保存到文件。
• 如果要修改现有行为，请在脚本中加入回滚逻辑。

阶段 3：执行

• 加载／执行前进行预检：
  • 会话存在且处于活动状态
  • 已加载的脚本均已列出
  • 已检查目标重叠情况
• 如果存在重叠，则先卸载／替换旧脚本，再加载新脚本。
• 除非明确有意为之，否则不得将多个脚本附加到同一目标。
• 优先按用途分别使用一个脚本（探测、Hook、跟踪器）。

故障处理：

• 遇到 Java is not defined 时，停止重试，并重新检查文档／运行时假设。
• 遇到附加／启动失败时，先运行诊断，再重试插桩。
• 文档输出过长时，缩小查询范围或分页；不得猜测。

阶段 4：记录

• 每个执行周期后，将记录保存到文件。
• 记录：
  • 使用的文档事实
  • 脚本台账（已加载／已卸载／当前活动）
  • 观察到的输出和验证状态
  • 错误及根本原因
  • 清理状态和下一步操作
• 结束工作时，确认拆除已完成。

必需的响应格式

对每项任务，按以下顺序输出四个部分：

1. 构思
2. 编写脚本
3. 执行
4. 记录

在“构思”和“编写脚本”部分就绪之前，不得在“执行”部分调用工具。