codecheck — 代码检视技能集

本目录是 ability_runtime 仓库的代码检视工作台。当用户说"检视一下代码""帮我审一下""做一次代码 review"时，从这里出发：先读本 README 选定要调用的子 skill，逐个执行扫描，最后把各 skill 的产出合并为一份统一报告。

入口指引：AGENTS.md 的「代码检视」章节把"检视代码"这一意图路由到本 README。本 README 只负责导航与编排，每个子 skill 的具体方法论在其各自目录的 SKILL.md 中。

---

子 skill 一览

目录	检视维度	触发场景	输出
high-impact-bug-audit/	高影响缺陷：崩溃、挂死、OOM、UAF、死锁、数据损坏、资源泄漏、状态污染、权限绕过	"查高危 bug""P0/P1 风险排查""崩溃/挂死审计"	按 影响×可触发性×波及面 排序的缺陷清单（Confirmed/Likely/Suspicious 分级）
logic_analyzer/	逻辑影响：修改的波及路径、逻辑一致性、状态机转换、边界条件、错误处理	"逻辑分析""这段改动会影响什么""状态机/数据流/控制流检查"	逻辑影响范围 + 不一致/边界遗漏清单
security_review/	商用前安全审查：内存安全、注入、权限、敏感数据、并发、合规	"安全审查""漏洞扫描""安全审计""商用前 review"	详尽 report.md，按漏洞类型分组
external-input-audit/	"外部输入 → 持久化"全链路健壮性：IPC/HTTP/CLI/配置/网络 → DB/文件/缓存/日志	"外部输入排查""输入接口审计""持久化安全检查""接口健壮性"	按 P0/P1/P2 排序的 Excel 风险清单（写入侧+读取侧双维度）
api-audit/	对外 API 全量一致性：资料文档×接口定义×框架实现×测试用例完备度，三轮扫描	"接口审计""API 一致性""测试用例完备度""扫一下 xxxKit"	<kit>_api_audit.md + <kit>_api_audit.csv 双格式
deep-scan/	三层编排器：high-impact-bug-audit → logic_analyzer → security_review	/deep-scan {path} 或"对某某路径做深度扫描/全面排查"	按 P0/P1/P2 排序的 Excel 问题汇总
codecheck-orchestrator/	总编排器：按范围选 skill 组合（deep-scan + external-input-audit + api-audit），执行后跨维度去重合并为统一报告	"检视一下代码""帮我审一下""做一次 code review""生成检视报告"	codecheck_report_<scope>_<YYYYMMDD>.md 统一报告

维度关系图

                 用户："检视一下代码"
                          │
                          ▼
              ┌─────────────────────────┐
              │  codecheck-orchestrator  │  总编排：选组合 + 合并报告
              └────────────┬─────────────┘
                           │ 调度（按范围选）
        ┌──────────────────┼──────────────────┐
        ▼                  ▼                  ▼
  ┌───────────┐   ┌──────────────────┐   ┌───────────┐
  │ deep-scan │   │external-input-   │   │ api-audit │
  │ (三层串联) │   │audit             │   │           │
  └─────┬─────┘   └──────────────────┘   └───────────┘
        │ 内含三层
   ┌────┴────┬────────────┬──────────────┐
   ▼         ▼            ▼              
high-impact  logic_      security_       
-bug-audit   analyzer    review          

三层关系：

• codecheck-orchestrator 是总编排器，按范围调度 deep-scan + external-input-audit + api-audit，并合并统一报告。通用"检视代码"的默认入口。
• deep-scan 是三层编排器，只串联 bug→logic→security，不纳入 external-input-audit / api-audit。
• 单一维度（纯安全/纯 API/纯外部输入/纯逻辑）时直接调对应子 skill，不走 orchestrator。

---

检视流程（"检视一下代码"时怎么走）

Step 1：界定范围

明确两点，缺则向用户确认：

1. 目标路径或 Kit：如 services/abilitymgr/src/、frameworks/native/ability/native/、或 abilityKit。
2. 检视重点：通用 review / 安全 / 高危 bug / API 兼容 / 外部输入健壮性。未指定时走"通用检视"。

Step 2：按场景选择 skill 组合

场景	调用组合
通用代码检视（最常见）	codecheck-orchestrator（按范围自动选 deep-scan ± external-input-audit ± api-audit，并合并报告）
安全/商用前专项	security_review 单独深入 + external-input-audit
接口/SDK 变更	api-audit {kit} + deep-scan 覆盖实现侧
服务侧健壮性（IPC/持久化密集）	deep-scan + external-input-audit
仅逻辑变更影响评估	logic_analyzer 单独

Step 3：逐个执行

读对应目录的 SKILL.md，按其工作流执行。每个 skill 的输出格式不一致（md/csv/excel），保留各 skill 原始产出，不要在中间改写。

Step 4：合并为统一报告

把各 skill 的产出汇总到一份 codecheck_report_<scope>_<YYYYMMDD>.md，结构建议：

# 代码检视报告 — <scope>
> 范围：<路径/Kit>   日期：<YYYY-MM-DD>   检视维度：<调用的 skill 列表>

## 1. 总览
- 执行的 skill 与各自发现数
- P0/P1/P2 统计（如适用）

## 2. 高优先级发现（P0/P1，跨维度去重后）
每条：标题 / 维度来源 / 位置(file:line) / 触发路径 / 影响 / 建议 / 证据

## 3. 分维度明细
### 3.1 high-impact-bug-audit
### 3.2 logic_analyzer
### 3.3 security_review
### 3.4 external-input-audit
### 3.5 api-audit

## 4. 待跟进（Suspicious / 需进一步确认）
## 5. 附录：各 skill 原始产出文件路径

跨维度去重时，同一 file:line 若被多个 skill 命中，在"高优先级发现"里合并为一条，标注维度来源列表。

---

约定

• 静态语言实现默认排除：frameworks/ets/ani/、frameworks/ets/ets/、frameworks/cj/ffi/、ets_*.cpp、cj_*.cpp 等 static 侧不在扫描范围（与 api-audit 一致），除非用户明确要求包含。
• 证据要求：每条发现必须可追溯到 file:line + 触发路径，不收"代码气味"级别的无证据项。
• 不动代码：检视阶段只产出报告与建议，不直接改源码；修复由用户确认后另起任务。