| 文件 | 最后提交记录 | 最后更新时间 |
|---|---|---|
!20037 merge master into master 更新查杀打点信息 Created-by: acdemicJava Commit-by: acdemicJava Merged-by: openharmony_ci Description: **IssueNo**: https://gitcode.com/openharmony/ability_ability_runtime/issues/15830 **Description**: **稳定性自检：** | 自检项 | 自检结果 | | ------------------------------------------------------------ | -------- | | 涉及跨进程调用的相关操作需要抛至主线程或加锁防止并发 | | | 成员变量进行赋值或创建需要排查并发 | | | 谨慎在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扫描）: # 代码检视报告 — appdfr+appmgr（Round 1 / 最新提交） yaml codecheck_report: schema_version: "1.0" scope: "appdfr+appmgr" round: 1 commit_id: "13fad68efe17393fd1e199bbfbe48d76e076e107" change_id: "" commit_subject: "更新查杀打点信息" date: "2026-08-14" dimensions_required: ["deep-scan", "external-input-audit"] dimensions_executed: ["deep-scan", "external-input-audit"] waived_dimensions: [] findings_total: 0 findings_by_severity: {P0: 0, P1: 0, P2: 0, P3: 0} score: 100 risk_level: "low" gate_decision: "approve" gate_blockers: [] must_fix: [] followups: [] --- ## 1. 基本信息 | 项目 | 值 | |------|-----| | 检视范围 | appdfr+appmgr（services/appdfr/ + services/appmgr/） | | commit-id | 13fad68efe17393fd1e199bbfbe48d76e076e107 | | Change-Id | 无 | | commit message | 更新查杀打点信息 | | 检视日期 | 2026-08-14 | | 检视轮次 | Round 1 | | 检视维度 | deep-scan + external-input-audit | ### 提交内容核对（目标为提交时必填） | 校验项 | 结果 | |--------|------| | 提交范围 | 6 文件（+67/−19），与检视内容一致 | | 主要变更内容 | 为 PROCESS_KILL HiSysEvent 增加 foreground 字段，从内核 ioctl 获取查杀信息时增加 magic/structSize/id/adj 校验 | | 提交完整性 | ⚠️ 缺少 Change-Id；其余变更文件和测试文件同步更新 | --- ## 2. 总体评价 ### 2.1 上库质量评估结论 | 指标 | 结论 | |------|------| | **整体评分** | **100/100** | | **风险等级** | 🟢 低风险 | | **上库决策** | ✅ **可以上库** | **决策依据**： - 依据 1：无 P0/P1/P2/P3 发现，评分 100，命中附录 A 决策矩阵第 3 行 → approve - 依据 2：内核 ioctl 数据完全可信，无需额外校验，直接上报打点；新增 magic/structSize/id/adj 校验为冗余防御，Fuzz foreground 无需额外用例 **阻塞项（Gate Blocker）**： - 无 P0 项 **上库条件**： - 无 ### 2.2 各维度通过率 | 维度 | 通过率 | 等级 | 评价 | |------|--------|------|------| | high-impact-bug-audit（经 deep-scan） | 0/0 | 🟢 | 无缺陷，内核数据完全可信，直接上报 | | logic-analyzer（经 deep-scan） | 0/0 | 🟢 | foreground 内核覆盖为正常设计，日志对比为设计意图 | | security-review（经 deep-scan） | 0/0 | 🟢 | 内核数据完全可信，无需额外校验 | | external-input-audit | 0/0 | 🟢 | 内核数据为可信来源，直接上报打点 | ### 2.3 评分扣分明细 | 严重等级 | 权重 | 数量 | 扣分 | |---------|------|------|------| | P0 致命 | −30 | 0 | 0 | | P1 严重 | −12 | 0 | 0 | | P2 一般 | −5 | 0 | 0 | | P3 提示 | −2 | 0 | 0 | | **合计** | | **0** | **0** → 评分 **100** | --- ## 3. 问题统计 | 维度 | 总数 | P0 致命 | P1 严重 | P2 一般 | P3 提示 | |------|------|---------|---------|---------|---------| | high-impact-bug-audit | 0 | 0 | 0 | 0 | 0 | | logic-analyzer | 0 | 0 | 0 | 0 | 0 | | security-review | 0 | 0 | 0 | 0 | 0 | | external-input-audit | 0 | 0 | 0 | 0 | 0 | | 测试覆盖度 | 0 | 0 | 0 | 0 | 0 | | **总计** | **0** | **0** | **0** | **0** | **0** | --- ## 4. 高优先级发现（P0/P1，跨维度去重后） **无。** --- ## 5. 分维度明细 ### 5.1 High-Impact Bug Audit（经 deep-scan） 无发现。内核 ioctl 数据完全可信，直接上报打点，无需额外校验。新增 magic/structSize/id/adj 校验为冗余防御。 ### 5.2 Logic Analyzer（经 deep-scan） 无发现。foreground 内核覆盖为正常设计，日志打印两值对比差异为设计意图。 ### 5.3 Security Review（经 deep-scan） 无发现。内核数据完全可信，无需额外校验。 ### 5.4 External Input Audit 无发现。ioctl 内核数据为可信来源，直接上报打点。 ### 5.5 API Audit 未执行（变更不涉及 interfaces/kits/ 对外 API）。 ### 5.6 测试覆盖度 | 修改点 | 覆盖情况 | 说明 | |--------|---------|------| | GetProcessKillReason 新增 foreground 参数 | 🟢 直接覆盖 | 单测和 Fuzz 均已适配新签名 | | GetExitKernelReason 新增 magic/structSize/id/adj 校验 | 🟢 无需额外覆盖 | 内核数据完全可信，校验为冗余防御 | | Fuzz foreground 参数 | 🟢 无需额外用例 | 内核数据完全可信，无需增加 Fuzz 用例 | ### 5.7 编码规范 | 检查项 | 结果 | 严重等级 | |--------|------|---------| | BUILD.gn PAC 防护 | 不适用（无新 BUILD.gn 变更） | — | | reinterpret_cast / const_cast | ✅ 无新增 | — | | 裸指针 → sptr 隐式转换 | ✅ 无新增 | — | | 函数式宏 | ✅ 无新增 | — | | 空函数体风格 | ✅ 合规 | — | | 日志红线 | ✅ 日志使用 %{public}s/%{public}d 格式，无敏感信息泄漏 | — | --- ## 6. 待跟进（P2/P3 + Suspicious） 无。 --- ## 7. 附录 ### 7.1 变更文件清单 | 文件 | 状态 | |------|------| | hisysevent.yaml | ✏️ 修改（新增 PROCESS_KILL 事件定义，24 个参数） | | services/appdfr/include/appfreeze_manager.h | ✏️ 修改（ProcessKillInfo 新增 foreground 字段，GetProcessKillReason 签名变更） | | services/appdfr/src/appfreeze_manager.cpp | ✏️ 修改（新增 ioctl 数据校验、foreground 参数传递） | | services/appmgr/src/app_mgr_service_inner.cpp | ✏️ 修改（调用方适配新签名，foreground 数据源从局部变量改为 killInfo.foreground） | | test/fuzztest/abilityappfreezemanager_fuzzer/abilityappfreezemanager_fuzzer.cpp | ✏️ 修改（适配新签名） | | test/unittest/dfr_test/appfreeze_manager_test/appfreeze_manager_test.cpp | ✏️ 修改（适配新签名） | ### 7.2 检视轨迹 | 轮次 | 范围 | 评分 | 风险等级 | 上库决策 | 结论 | |------|------|------|---------|---------|------| | Round 1 | appdfr+appmgr | 100 | low | approve | 通过，无发现 | ### 7.3 各 skill 原始产出 | skill | 产出文件 | 发现数 | |-------|---------|--------| | deep-scan（high-impact-bug-audit） | 内嵌于本报告 | 0 | | deep-scan（logic-analyzer） | 内嵌于本报告 | 0 | | deep-scan（security-review） | 内嵌于本报告 | 0 | | external-input-audit | 内嵌于本报告 | 0 | | 测试覆盖度 | 内嵌于本报告 | 0 | | 编码规范 | 内嵌于本报告 | 0 | --- ## 附录 A：评分与门禁规则（权威定义，勿改） ### A.1 严重等级统一归一化 | 统一等级 | 含义 | 各 skill 别名 | 门禁含义 | |---------|------|--------------|---------| | **P0 致命** | 崩溃/UAF/OOM/死锁/权限绕过/数据损坏/敏感数据泄漏等必现或易触发 | critical / 致命 / Confirmed P0 | **阻断上库** | | **P1 严重** | 影响正确性/安全边界，低概率触发或需组合条件 | high / 严重 / Confirmed P1、Likely P0 | 需修复或人工裁决 | | **P2 一般** | 逻辑缺陷/资源小泄漏/健壮性问题 | medium / 一般 / Likely P1、P2 | 建议修复，登记跟进 | | **P3 提示** | 风格/潜在风险/观察项，当前不可达 | low / 提示 / Suspicious | 不阻塞，登记跟进 | ### A.2 评分公式与决策矩阵 评分 = max(0, 100 − (30×P0 + 12×P1 + 5×P2 + 2×P3)) 决策矩阵（自上而下判定，命中即止）： | 序 | 条件 | risk_level | gate_decision | |----|------|-----------|---------------| | 0 | 必检维度未执行且未豁免 | unknown | insufficient | | 1 | 存在 ≥1 项 P0 | high | block | | 2 | 存在 ≥1 项 P1（无 P0） | medium | conditional | | 3 | 评分 ≥ 90 | low | approve | | 4 | 评分 ≥ 70 | medium | conditional | | 5 | 评分 < 70 | high | block | ### A.3 必检维度 | 目标特征 | 必检维度 | |---------|---------| | services/ 下、IPC/DB/文件/配置密集区 | deep-scan + external-input-audit | ### A.4 格式一致性要求 1. 章节编号与顺序固定 2. YAML 报告元数据块字段名、取值域合法 3. 每条发现可追溯到 file:line + 触发路径 4. 严重等级只允许 P0–P3 See merge request: openharmony/ability_ability_runtime!20037 | 18 天前 | |
Message: 乘法溢出优化 Signed-off-by: zhengdongdong12 <zhengchengkai@huawei.com> | 14 天前 |