SuperAPI AI 工具集

ds-blast-radius

安全与审计

查看项目

更新于 10-29 16:52

技能介绍

用途

ds-blast-radius 用于在发布高风险或不可信变更前,评估该变更在其自身 diff 之外可能引发的破坏。它不满足于简单的调用方列表,而是聚焦文本搜索无法揭示的断点,并要求用真实运行来证明安全,而非仅靠论证。

主要能力

  • 阅读变更的 diff、新增/修改/删除的符号,以及 diff 未明示的新行为。
  • 找出支撑变更安全的一到两个关键事实(例如“只删除已过期的缓存条目”),并将精力集中于此。
  • 检查搜索止步之处:所调用库在固定版本下的源码、异步顺序、清理、重试等时序问题,以及离开代码的数据(API 响应、数据库列、文件格式、配置、跨语言读取的同一数据)。
  • 对每个关键事实按证明强度分级:仅口头声明;指向真实文件与行号;追踪失败路径并证明不可达;对真实代码运行脚本或测试且失败时大声报错;在运行中的应用内复现。
  • 在成本低时尽量将关键事实提升到第 4 级(通常是一个调用目标函数的小脚本)。
  • 输出报告:关键事实、证明等级及命令与输出、发现的真实破坏、仍未证明的部分。

使用方式

该技能按步骤执行:先读变更,再找关键事实,接着检查搜索盲区,然后为每个事实评定证明等级,最后撰写报告。停止条件为:每个关键事实达到第 4 级或以上(或已说明为何无法达到)且报告完成;或者发现真实破坏,提供复现并停止。规则强调:有说服力的文字不是证明,必须展示输出;此技能不进行修复,修复交由常规流程处理。

适用场景

适用于发布前对风险较高或来源不可信的代码变更进行安全核查,尤其适合需要验证隐性依赖、时序问题、跨边界数据影响等文本搜索难以覆盖的情形。

限制

资料未提供具体安装命令、平台支持、收费方式或价格信息。该技能本身不执行修复,仅用于评估与证明。