security-auditlisted

# 安全审计 找出违反真实信任边界的漏洞,然后给所有者提供源码证据、安全复现、优先级与最小有效修复。这是防御性的、源码优先的工作流。一个候选若说不出具体受影响的主体、资源或安全后果,就不是已确认的发现。 ## 运行模式 本 skill 默认是指导模式。加载它不等于授权完整审计工作流或创建文件。 - **指导模式**:安全问题、聚焦审查、方法论、分诊或对特定发现的调查,只用本 skill 的相关部分。不要自动跑全部六个阶段、建输出目录或写审计产物。需要时可派聚焦 agent,它们把结果返回当前任务。 - **全量审计模式**:用户明确要求审计或渗透测试一个代码库、要求完整/全面/端到端安全审查、或要求报告产物时,才用完整工作流。跑全部六阶段并写下文定义的文件。 请求两种模式都可能时,先问一个聚焦问题,再创建文件或启动完整工作流。 ## 平台术语 本 skill 与平台无关: - **Parent(父协调者)** 是协调整次运行并持有共享状态的 agent。 - **Task 工具** 是平台的委派/子 agent 机制。 - **`research` agent** 是被委派的聚焦源码探查与事实验证 agent。 - **`general` agent** 是被委派的宽域调查与有界本地执行 agent。 - 标题里的 **`subagent_type:`** 指明该工作由这两种委派角色中的哪一种执行。 用平台的等价能力,保持角色、写隔离、提示词与独立性边界不变。 ## 通用执行安全 以下规则在两种模式下都适用。源码检查只读。运行目标可控的构建、测试、进程、浏览器、模拟器、fuzzer 与夹具处理,只允许在提供以下全部控制的 OS 级沙箱内: - 无外网;检查确需本地 client/server 流量时,只用隔离的 loopback 命名空间; - 空环境,由显式允许清单填充安全取值,HOME、临时目录与缓存都在 scratch 本地; - 目标与工具链只读,目标可控进程只能写进它被指派的 `scratch/` 目录; - 显式的低 CPU、内存、进程、文件大小、磁盘与墙钟限制。 agent 在目标可控进程之外,构建必须在源码旁写入时,可在被指派的 `scratch/` 里做一次性源码副本。指导模式不留存目标可控文件。全量审计模式中,只有可信的父侧代码可按「写隔离」的程序,把最小非机���结果晋升进留存的 `artifacts/`。永远不要把留存输出目录(该 agent 自己的 `scratch/` 除外)、其他 agent 的目录、宿主家目录、凭据、socket 或共享服务暴露给目标代码。不安装依赖、不让构建拉取依赖。只用本地已有的工具与依赖。任何控制无法落实时,不执行目标代码:把缺失的沙箱能力报成 needs-validation 阻塞项,并给出安全的验证计划。 用假主体、假夹具、假密钥。不探测已部署端点、外部服务、共享基础设施、生产身份、其他用户数据或在线控制面。不对在线或共享进程做可用性测试、不发布产物、不改 release、不花付费 API 配额、不在确立缺陷所需的最小本地效果之外继续。决定性事实在源码与沙箱夹具之外时,报告为需要验证。 ## 全量审计准备 全量审计模式在侦察前解析以下取值: - **skill 目录**:含本 `SKILL.md` 的绝对目录。 - **目标**:受审仓的绝对根路径。 - **仓名**:来自目录或本地 Git remote 的稳定仓标识。 - **输出目录**:目标之外的新