mirror of
https://github.com/openharmony/ability_ability_runtime.git
synced 2026-08-24 22:21:36 -04:00
openharmony_ci
cc453f531d
Add Fuzz Created-by: SkyQAQ Commit-by: songkeyuan Merged-by: openharmony_ci Description: **IssueNo**:https://gitcode.com/openharmony/ability_ability_runtime/issues/15826 **Description**:Add Fuzz **稳定性自检：** | 自检项 | 自检结果 | | ------------------------------------------------------------ | -------- | | 涉及跨进程调用的相关操作需要抛至主线程或加锁防止并发 | | | 成员变量进行赋值或创建需要排查并发 | | | 谨慎在lambda表达式中使用引用捕获 | | | 谨慎在未经拷贝的情况下使用外部传入的string、C字符串 | | | map\vector\list\set等stl模板类使用时需要排查并发 | | | 谨慎考虑加锁范围 | | | 在IPC通信中谨慎使用同步通信方式 | | | 禁止传递this指针至其他模块或线程（特别是eventhandler任务） | | | 禁止将外部传入的裸指针在内部直接构造智能指针 | | | 禁止多个独立创建的智能指针管理同一地址 | | | 禁止在析构函数中抛异步任务 | | | 禁止js对象在非js线程（例如在IPC线程）创建、使用或销毁 | | | 禁止在对外接口中未经判空直接使用外部传入的指针 | | | 禁止接口返回局部变量引用 | | | 禁止在信号函数中加锁 | | | 禁止在关键流程（SA启动、应用启动等主流程）执行耗时的操作 | | | 禁止将同一个cpp编译在不同的so中 | | **安全编码自检：** | 自检项 | 自检结果 | | -------------------------------------------------------------- | -------- | | 裸指针避免通过隐式转换构造为sptr | | | json对象在取值之前必须先判断类型，避免类型不匹配 | | | 序列化时必须对传入的数组大小进行校验，避免出现超大数组 | | | 避免使用未明确位宽的整型，选择使用int8_t、uint8_t等类型 | | | 外部传入的路径要做规范化校验，对路径中的.、..、../等特殊字符严格校验 | | | 指针变量、表示资源描述符的变量、bool变量必须赋初值 | | | readParcelable获取的对象使用前需要判空 | | | 分配和释放内存的函数需要成对出现 | | | 申请内存后异常退出前需要及时进行内存释放 | | | 内存申请前必须对内存大小进行合法性校验 | | | 内存分配后必须判断是否成功 | | | 禁止使用realloc、alloca函数 | | | 禁止打印文件路径、口令等敏感信息，如有需要，使用private修饰 | | | 禁止打印内存地址 | | | 整数之间运算时必须严格检查，确保不会出现溢出、反转、除0 | | | 禁止对有符号整数进行位操作符运算 | | | 禁止对指针进行逻辑或位运算 | | | 循环次数如果收外部数据控制，需要检验其合法性 | | | 禁止使用内存操作类危险函数，需要使用安全函数 | | | 谨慎使用不可重入函数 | | | 必须检查安全函数的返回值，并进行正确处理 | | | 禁止仅通过TokenType类型判断绕过权限校验 | | **TDD Result**: **XTS Result**: ### 是否已执行L0用例 - [ ] 已验证 - [ ] 不涉及。如不涉及，请写明理由 ### AI检视评分（使用本地代码检视skills扫描）: # 代码检视报告 — test_fuzztest（Round 3 / 最新提交，仅 fuzz 引入项） > 统一报告由 codecheck 工作台生成，**用于门禁管控**。本报告为 Round 3，范围收敛为**仅本提交（fuzz 测试代码）引入的问题**；目标侧既有缺陷与仓库既有惯例（非本提交引入）已屏蔽，见「5.8 已屏蔽项」。 > 权威评分与门禁规则见文末 **附录 A**，生成时必须按其计算，不得自创分值。 --- ## 报告元数据 ```yaml codecheck_report: schema_version: "1.0" scope: "test_fuzztest" round: 3 commit_id: "9366975c7188ad9a8c228d4fd99d0ebdc841f294" change_id: "" commit_subject: "Add Fuzz, Co-Authored-By: Agent" date: "2026-08-04" dimensions_required: ["deep-scan"] dimensions_executed: ["deep-scan", "external-input-audit", "test-coverage", "coding-style"] waived_dimensions: ["api-audit"] findings_total: 3 findings_by_severity: {P0: 0, P1: 0, P2: 1, P3: 2} score: 91 risk_level: "low" gate_decision: "approve" gate_blockers: [] must_fix: [] followups: ["F-03", "F-04", "F-06"] ``` --- ## 1. 基本信息 | 项目 | 值 | | -------------- | ------------------------------------------------------------ | | 检视范围 | `test/fuzztest/`（提交新增的 6 个 Fuzz 测试 harness + BUILD.gn 注册） | | commit-id | `9366975c7188ad9a8c228d4fd99d0ebdc841f294` | | Change-Id | ❌ 缺失（commit message 未携带 `Change-Id: I...`） | | commit message | `Add Fuzz, Co-Authored-By: Agent` | | 检视日期 | `2026-08-04` | | 检视轮次 | Round 3 | | 检视维度 | deep-scan（bug+logic+security）+ external-input-audit + 测试覆盖度 + 编码规范 | ### 提交内容核对 | 校验项 | 结果 | | ------------ | ------------------------------------------------------------ | | 提交范围 | 31 个文件，+1756 行，全部为 `test/fuzztest/` 下新增（6 个 fuzzer 各含 BUILD.gn/.cpp/.h/corpus/project.xml）+ `test/fuzztest/BUILD.gn` 追加 6 条 deps | | 主要变更内容 | 新增 6 个 libFuzzer harness：`AbilityAutoStartupService`、`AppExitReasonHelper`、`ExtensionRunningTimeoutMonitor`、`InsightIntentExecuteManager`、`KeepAliveProcessManager`、`UriUtils` | | 提交完整性 | ⚠️ 无 Change-Id（门禁配套字段缺失）；其余（BUILD.gn 注册、corpus、project.xml、版权头 2026）齐全 | --- ## 2. 总体评价 ### 2.1 上库质量评估结论 | 指标 | 结论 | | ------------ | ---------------------------------------------- | | **整体评分** | **91/100**（计算过程见附录 A，扣分明细见 2.3） | | **风险等级** | 🟢 低风险 | | **上库决策** | ✅ **可以上库** | **决策依据**： - 依据 1：本提交变更代码（fuzz harness）中**无 P0/P1**；按附录 A 决策矩阵，评分 91 ≥ 90 → approve。 - 依据 2：Round 1 的 P1（F-01，`insight_intent_execute_manager.cpp:942`）、P2（F-02，`uri_utils.cpp` OOB）为**目标侧既有缺陷**，非本提交引入；F-05（cflags 覆盖写）为**仓库既有 fuzzer 统一写法**，非本提交引入的偏差——三项均已在 Round 3 屏蔽（见 5.8）。 - 依据 3：必检维度 `deep-scan` 已执行；`api-audit` 因不涉及公共 API 变更，作为豁免维度登记。 **阻塞项（Gate Blocker）**： - 无（本提交变更代码无 P0/P1）。 **上库条件**： - 无。P2/P3 项（F-03/F-04/F-06）登记 followups 跟踪即可。 ### 2.2 各维度通过率 | 维度 | 通过率 | 等级 | 评价 | | ------------------------ | -------------- | ---- | ------------------------------------------------------------ | | Bug（经 deep-scan） | 5/5 项检查通过 | 🟢 | harness 自身无崩溃/OOB/UAF/泄漏；唯一残留为 F-04 理论性有符号溢出边缘 | | Logic（经 deep-scan） | 4/5 | 🟡 | F-03（InsightIntent className 随机化致核心分支不可达）、F-06（null subManagersHelper 覆盖盲区）为 fuzzer 自身有效性/覆盖问题 | | Security（经 deep-scan） | ✅ | 🟢 | fuzz harness 无直接安全面；目标侧安全问题已屏蔽 | | external-input-audit | ✅ | 🟢 | fuzz 数据 → 目标函数链路在 harness 侧无新增风险 | | 测试覆盖度 | 7/9 | 🟡 | 4 个 fuzzer 覆盖设计合理；F-03/F-06 两处 fuzzer 覆盖盲区为本提交引入 | | 编码规范 | ✅ | 🟢 | cflags 写法与仓库既有 fuzzer 一致（已豁免），其余检查全部通过 | ### 2.3 评分扣分明细 | 严重等级 | 权重 | 数量 | 扣分 | | -------- | ---- | ----- | -------------------- | | P0 致命 | −30 | 0 | −0 | | P1 严重 | −12 | 0 | −0 | | P2 一般 | −5 | 1 | −5 | | P3 提示 | −2 | 2 | −4 | | **合计** | | **3** | **−9** → 评分 **91** | > 公式：`评分 = max(0, 100 − (30×P0 + 12×P1 + 5×P2 + 2×P3))`；≥1 项 P0 时决策为 block（评分不再单独决定上库）。详见附录 A。 --- ## 3. 问题统计 | 维度 | 总数 | P0 致命 | P1 严重 | P2 一般 | P3 提示 | | ------------------------ | ----- | ------- | ------- | ------- | ------- | | Bug（经 deep-scan） | 1 | 0 | 0 | 0 | 1 | | Logic（经 deep-scan） | 2 | 0 | 0 | 1 | 1 | | Security（经 deep-scan） | 0 | 0 | 0 | 0 | 0 | | external-input-audit | 0 | 0 | 0 | 0 | 0 | | 测试覆盖度 | 2 | 0 | 0 | 1 | 1 | | 编码规范 | 0 | 0 | 0 | 0 | 0 | | **总计（去重后）** | **3** | **0** | **0** | **1** | **2** | --- ## 4. 高优先级发现（P0/P1，跨维度去重后） | ID | 维度来源 | 位置 | 严重等级 | 概述 | 影响 | 触发路径 | 建议 | 状态 | | ---- | -------- | ---- | -------- | ---- | ---- | -------- | ---- | ---- | | — | — | — | — | — | — | — | — | — | **无。** 本提交变更代码（fuzz harness 及 BUILD.gn）不存在 P0/P1 级问题。 --- ## 5. 分维度明细 ### 5.1 Bug（高影响缺陷，经 deep-scan） | ID | 位置 | 类型 | 概述 | 等级 | | ---- | ------------------------------------------------------------ | ---------------------- | ------------------------------------------------------------ | ---- | | F-04 | `test/fuzztest/keepaliveprocessmanagertwentysecond_fuzzer/keepaliveprocessmanagertwentysecond_fuzzer.cpp:45` | 有符号溢出（理论边缘） | `uid + SECOND_UID_OFFSET`（uid 为随机 `int32_t`），uid=INT32_MAX 时有符号溢出 UB（概率 ~1/2³²，非阻断） | P3 | ### 5.2 Logic（经 deep-scan） | ID | 位置 | 类型 | 概述 | 等级 | | ---- | ------------------------------------------------------------ | --------------- | ------------------------------------------------------------ | ---- | | F-03 | `test/fuzztest/insightintentexecutemanagerthird_fuzzer/insightintentexecutemanagerthird_fuzzer.cpp:41-57` | fuzzer 覆盖盲区 | `className` 与 `AbilityFuzzUtil` 生成的 `entity.className` 均为随机串，`CheckEntityQueryable:933` 要求相等 → 查询核心分支实际不可达，fuzzer 主要目标失效 | P2 | | F-06 | `test/fuzztest/abilitymgrappexitreasonhelpersecond_fuzzer/abilitymgrappexitreasonhelpersecond_fuzzer.cpp:116-117` | fuzzer 覆盖盲区 | `AppExitReasonHelper` 以 null `subManagersHelper` 构造，目标 `GetActiveAbilityList*`（app_exit_reason_helper.cpp:334/436/458）全部经 `CHECK_POINTER_*` 提前返回 → UIAbility/Mission 查询路径永不被覆盖 | P3 | ### 5.3 Security（经 deep-scan） **无。** 本提交 fuzz harness 无直接安全面；Round 1 目标侧安全问题（F-01 空指针）已在 Round 2 屏蔽（见 5.8）。 ### 5.4 external-input-audit（外部输入 → 目标函数） **无新增风险。** 6 个 fuzzer 的输入构造（FuzzedDataProvider）在 harness 侧不引入越界/溢出/泄漏；目标侧输入边界问题（`ur See merge request: openharmony/ability_ability_runtime!20032