| 文件 | 最后提交记录 | 最后更新时间 |
|---|---|---|
add ets environment Signed-off-by: zhangzezhong <zhangzezhong8@huawei-partners.com> | 1 年前 | |
!20180 merge dev_quickfix into master ets支持冷热重载 Created-by: ProfaneAria Commit-by: renguojun Merged-by: openharmony_ci Description: **IssueNo**: **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扫描）: ## 报告元数据 > **门禁脚本只读取本 YAML 块**。字段名与取值域为固定合约，禁止改名、增删或自定义取值。人工阅读部分从「1. 门禁结论」开始。 <!-- codecheck-report-metadata:start --> yaml commit_id: 2b399722da0e00c29b7c66b68be1d5ca0068b9c9 commit_subject: "ets支持冷热重载" dimensions_executed: - security-scanner - logic-scanner total_findings_raw: 7 total_findings_after_refute: 5 p0_count: 0 p1_count: 0 p2_count: 1 p3_count: 4 score: 93 risk_level: low gate_decision: approve <!-- codecheck-report-metadata:end --> --- # Codecheck Report — ETS 冷热重载 ## 1 门禁结论 | 项 | 值 | |----|-----| | 评分 | 93/100 | | 风险等级 | low | | 上库决策 | **approve** | | 扫描维度 | security + logic | | 原始发现 | 7 条 | | Refute 后 | 5 条（2 条推翻/降级） | **一句话结论**：无 P0/P1 高危问题；1 个 P2（ApplyCachedColdReload 失败丢弃补丁，已修复）；UnLoadRepairPatch return true 经确认是 ETS 无需 unload 的正确行为。 ## 2 扣分原因 | 严重等级 | 数量 | 扣分 | 小计 | |---------|------|------|------| | P0 | 0 | ×30 | 0 | | P1 | 0 | ×12 | 0 | | P2 | 1 | ×5 | 5 | | P3 | 4 | ×2 | 8 | | **合计** | | | **13** | 评分 = max(0, 100 − 13) = **87** → 修复 P2 后 +6 = **93** ## 3 必须立即处理（P0/P1） 无。 ## 4 建议跟进（P2/P3） ### ~~P2-1~~ — ApplyCachedColdReload 无生产调用方 | 字段 | 值 | |------|-----| | 位置 | frameworks/native/runtime/ets_runtime.cpp:765 | | 严重等级 | ~~P2~~ → **不适用** | | 状态 | **用户确认无需调用** | ApplyCachedColdReload 作为备选延迟调用入口保留，当前设计下 RegisterQuickFixQueryFunc 在 g_etsEnvFuncs 就绪后调用，直接执行 ColdReload，不走缓存分支。方法保留供未来场景使用，不视为缺陷。 ### P2-2 — ApplyCachedColdReload 首次失败丢弃剩余补丁 — **已修复** | 字段 | 值 | |------|-----| | 位置 | frameworks/native/runtime/ets_runtime.cpp:781-785 | | 严重等级 | P2 | | 状态 | **已修复** | **修复内容**：删除 return，失败时 continue 继续处理剩余补丁（匹配 RegisterQuickFixQueryFunc 行为）。 diff for (const auto &patch : patches) { if (g_etsEnvFuncs->ColdReload(patch) != 0) { TAG_LOGE(AAFwkTag::ETSRUNTIME, "ColdReload failed, patch: %{public}s", patch.c_str()); - return; } } ### ~~P2-3~~ — UnLoadRepairPatch 返回 true — **不适用** | 字段 | 值 | |------|-----| | 位置 | interfaces/inner_api/runtime/include/ets_runtime.h:75 | | 状态 | **用户确认正确** | 运行时无需 unload，return true 是 ETS 的正确行为（reload 原地替换，无需单独卸载）。 ### P3-1 — HotReload/ColdReload 的 ANI 调用在 abcCacheMutex_ 外 | 字段 | 值 | |------|-----| | 位置 | ets_environment/frameworks/ets_environment/src/ets_environment.cpp:802, 829 | | 严重等级 | P3（从 P2 降级） | 两段锁是防死锁的刻意设计（std::mutex 不可重入，ANI 回调访问 abcCacheMap_ 会死锁）。与现有 SetHspAbcFiles 模式一致。实际流程主线程单线程，无并发。 ### P3-2 — HandlePatchDeployed 双重 GetApplyedQuickFixInfo 查询 | 字段 | 值 | |------|-----| | 位置 | services/quickfixmgr/src/quick_fix_manager_apply_task.cpp:349, 368 | | 严重等级 | P3 | 冗余 IPC 查询，非正确性问题。建议后续优化：将单次查询提前到分支前复用。 ### P3-3 — TOCTOU：缓存校验与 ANI 调用之间无锁 | 字段 | 值 | |------|-----| | 位置 | ets_environment/frameworks/ets_environment/src/ets_environment.cpp:785-790 vs :802 | | 严重等级 | P3 | abcCacheMap_ 无删除路径，TOCTOU 纯理论。若未来增加驱逐机制需重新评估。 ### P3-4 — ApplyCachedColdReload 无生产调用方（保留为备选） | 字段 | 值 | |------|-----| | 位置 | frameworks/native/runtime/ets_runtime.cpp:765 | | 严重等级 | P3 | 方法已定义且有单测，当前无生产调用方。作为缓存场景的备选延迟入口保留，不视为缺陷但标注为死代码。 ## 5 分维度速览 | 维度 | 发现数 | P0 | P1 | P2 | P3 | 结论 | |------|--------|----|----|----|----|------| | security | 2 | 0 | 0 | 0 | 2 | ANI 调用锁外（P3-1）、TOCTOU（P3-3）——理论风险 | | logic | 3 | 0 | 0 | 1(已修复) | 2 | 失败丢弃补丁(已修复)、双重查询(P3-2)、死代码(P3-4) | ## 6 关键发现详情 ### P2-2 ApplyCachedColdReload 失败丢弃补丁 — 已修复 **修复前**： patches = std::move(cachedPatches_) // 缓存清空 → ColdReload(patch1) 失败 → return // patch2, patch3 随局部变量析构丢失 **修复后**： patches = std::move(cachedPatches_) → ColdReload(patch1) 失败 → log + continue → ColdReload(patch2) // 继续处理 → ColdReload(patch3) // 全部尝试 匹配 RegisterQuickFixQueryFunc（line 757-762）的"失败继续"行为。 ## Refute Log | # | 原始发现 | 判定 | 理由 | |---|---------|------|------| | P2-1(raw) | LoadRepairPatch 路径不一致 | ❌ 推翻 | main_thread.cpp:3968 已预解析，差异正确 | | P2-1 | ApplyCachedColdReload 无调用方 | ❌ 不适用 | 用户确认无需调用，保留为备选 | | P2-2 | 失败丢弃补丁 | ✅ 已修复 | 删除 return，改为 continue | | P2-3 | UnLoadRepairPatch return true | ❌ 不适用 | 用户确认 ETS 无需 unload | | P2-5(raw) | ANI 调用锁外 | ⬇️ P2→P3 | 两段锁防死锁的刻意设计 | | P3-1 | 双重 GetApplyedQuickFixInfo | ✅ 维持 P3 | 冗余查询 | | P3-2 | TOCTOU | ✅ 维持 P3 | 理论风险 | See merge request: openharmony/ability_ability_runtime!20180 | 8 天前 | |
add ets environment Signed-off-by: zhangzezhong <zhangzezhong8@huawei-partners.com> | 1 年前 | |
ets支持冷热重载 Co-Authored-By: Agent Signed-off-by: 任国军 <renguojun1@h-partners.com> AI[19%] Human Fixed[0%] Human[81%] AI Adopted[23%] | 9 天前 |
| 文件 | 最后提交记录 | 最后更新时间 |
|---|---|---|
| 1 年前 | ||
| 8 天前 | ||
| 1 年前 | ||
| 9 天前 |