SuperAPI AI 工具集

headless-ghidra-progressive-decompilation

安全与审计

查看项目

更新于 10-16 05:01

技能介绍

用途:这是 Headless Ghidra 反向工程工作流中的第六阶段技能,正式阶段名为 Selected Decompilation And Incremental Compare(选定反编译与增量比对)。适用于前期证据、目标选择与比对边界已可复核、当前 outside-in 步骤已可判定为 ready、qualified 或 blocked 的情形。

主要能力:覆盖当前前沿的一个选定反编译步骤;对替换边界执行增量比对;显式延续使步骤保持 qualified 的注意事项;依据同一阶段契约审计生成的 spec.md、plan.md 与 tasks.md。契约以 ./planning-brief.md 为准,作为交付面交给 speckit,并作为审计清单。

使用方式:先复核第六阶段来源面,确认状态;填写 ./planning-brief.md 中的选定目标、比对边界与输出预期;将该 brief 以文件或内联方式交给 speckit;再以相同清单审计生成的规划产物;若出现阻塞性偏差,则 refine 或重新生成,而非削弱契约。

约束:反编译仅限选定且属后期;默认保持 outside-in 顺序;调用前须已可见 current target、selection_reason 与 question_to_answer;步骤须显式保留 replacement_boundary、fallback_strategy 与可复核比对记录;直接调用不豁免 headless-only、证据支撑、可复现与 Markdown 可复核要求。若缺少选择字段、角色/名称/原型证据不足或比对边界与日志不可支撑,应回到缺失的前置产物或更早阶段。

限制:资料未提供具体安装命令、收费或价格信息;本地仓库规则可增加更严格审查,但不得削弱本阶段契约。