# 语义代码评审覆盖

> **领导速读：** 这份标准规定代码评审必须覆盖哪些风险，避免评审退化为格式和风格检查。

## 一、检查范围

检查：

- 与规格和验收条件一致，不存在未记录的公开行为；
- 依赖方向、所有权、公开边界、内聚性、耦合和重复策略；
- 命名清晰、单元小而内聚、错误显式、抽象适量、移除任务新增的死代码，测试聚焦行为；
- 输入校验、身份与信任来源、授权、注入、密钥、敏感输出、不安全执行、依赖风险和拒绝服务；
- 算法复杂度、分配、输入输出、查询形态、批处理、背压、缓存正确性、并发和可测量预算；
- 新代码是否进入真实产品路径，以及禁止路径是否有负向测试。

## 二、判断标准

不得仅凭观感宣称性能缺陷。必须提供复杂度论证、工作负载边界、查询计划、基准、性能剖析，或明确标记为需要测量的风险。