用途:对当前代码库进行安全分析,产出 .turbo/threat-model.md 的结构化威胁模型,描述代码库保护什么、信任边界在哪、如何被攻击、已有防御及风险严重程度。文档为描述性而非处方性,不包含修复建议。可选参数 $ARGUMENTS 可指定范围(目录、模块或重点区域),此时侦察与代码发现限定于该范围,仍输出全部四个部分,并在概述标题反映收窄范围及排除项。
主要步骤:一、侦察:阅读 README、CLAUDE.md 及架构/安全文档;查看顶层目录、构建文件和依赖清单,识别模块、语言、框架与部署模型;判定应用类型(库、CLI、Web 服务、桌面、移动或混合);识别安全关键依赖;阅读既有安全文档。二、发现安全相关代码:用定向搜索而非通读,涵盖认证授权、加密、密钥凭证存储、网络通信、不可信输入处理、IPC/进程边界、插件加载、更新分发、隐式网络行为、原生/FFI 边界;记录文件并追踪数据从输入到处理到输出。三、撰写:文档分四部分——概述(软件、部署、架构、安全敏感流程、自有与委托、最大风险集中点);威胁模型、信任边界与假设(资产、信任边界、按控制层级分类的输入、假设);攻击面、缓解与攻击者故事(按攻击面组织,含表面、入口点与汇聚点 path:line、热点文件、缓解、攻击者故事,并说明不太相关的漏洞类别);严重性校准(Critical/High/Medium/Low 四级及说明部署与信任边界如何影响严重性)。四、审查:核对每项断言有代码依据、覆盖完整、缓解平衡、故事具体、严重性一致、范围适当、声明超出范围项,修正后展示。
规则:所有断言基于代码,引用具体类、函数或路径,不臆测未读代码;缓解缺失时明确说明,不得虚构;不审计外部依赖内部,只分析集成边界;按项目规模调整深度;威胁模型是唯一输出,不创建代码、不修复漏洞、不修改代码库;用 ## 表示四个顶层部分,### 表示攻击面子节,加粗表示子标题。若代码库无实质安全面(无加密、认证、网络、不可信输入),则输出简短威胁模型并说明理由,仅覆盖依赖与供应链风险。
限制:资料未提供具体安装命令、收费方式、价格、平台或效果数据。