SuperAPI AI 工具集

headless-ghidra-frida-evidence

安全与审计

查看项目

更新于 10-16 05:01

技能介绍

用途:该阶段技能用于在 headless-ghidra 规划流程中整合外部捕获的 Frida 动态证据,而不把实时 Frida 执行纳入支持的工作流。规范契约文件为 ./planning-brief.md,用于塑造规划输出并审计生成物是否弱化了 Frida 证据要求。

主要能力:覆盖导入的 Frida 轨迹、日志与 hook 上下文;运行时捕获清单消费与证据清单规范化;动态观察的溯源、重放与验证预期;静态与动态冲突的显式裁定;对生成规划产物的审计预期。

使用方式:填写 ./planning-brief.md,写入导入的 Frida 证据包、关联的运行时捕获清单、溯源信息与重放预期;将该 brief 以文件或内联粘贴方式传入 speckit;在视为可实施前,用同一份 Frida 证据清单审查生成的规划产物;在 ./templates/frida-evidence-manifest.md 中汇总导入的运行时输出,区分已观察声明、推断声明与未决问题。若 Frida 证据与静态分析冲突,应记录冲突与审查者的显式决定,而非静默择一。若计划引入可复用的规范化、转换或清单生成脚本,应走脚本审查流程。

适用场景:当 intake 已稳定,且规划请求已具备外部捕获的 Frida 证据与运行时捕获清单时使用。若仍需捕获规划、可复用脚本选择或运行时审计门,应回到 runtime-injection 阶段;若来源不再特定于 Frida 或动态捕获格式与规划契约无关,应回到通用证据流程;若目标身份、溯源或范围仍不稳定,应回到 intake。

限制:仅限导入范围,不执行 Frida、不提供实时 hook 命令、不依赖 GUI 捕获活动;运行时证据必须链接回 ../headless-ghidra-frida-runtime-injection/ 的可审查运行时捕获清单;仅限 headless 工作流;动态观察必须可追溯到捕获产物、溯源说明或显式验证面;已观察声明须与推断或未决声明保持区分;运行时产物保留在 .work/ghidra-artifacts/ 下并显式引用,而非复制进技能包;无需下游 speckit 扩展或章程变更。示例文件包括 ./examples/frida-trace-handoff.md、./examples/contract-violation-example.md、./examples/frida-trace-contract-violation.md。