MeowOS-For-R3P2

0 Fork 0

Files

T

AskaEth 281f4153ee fix(sdk): M26 r1 P1 — ILP32 尺寸算术溢出（畸形 BMP 经公开入口 SIGSEGV）+ 加 S17 回归

评审在 ARM32（ILP32，与 mipsel 同数据模型）实测：54 字节 BMP 头声明 w=2^27、bpp=32
时 w*bpp 回绕成 0 → rowsize=0 → malloc(0) → 采样索引 row+sx*4 越界读 → SIGSEGV，
经 meow_img_load_file_dim 端到端可触发；同一文件在 LP64 宿主返回 NULL（不溢出），
合并前走 stb 也是 NULL。即这是相对旧路径的鲁棒性回归。

修复（只加闸，正常路径数值不变）：

- meow_png_stream.c（P1 本体）
  · 新增 ILP32 守卫 MZP_MAX_DIM=1<<20 与 mzp_bytes_ok()（unsigned long long 验算，
    超过 SIZE_MAX 即拒）
  · BMP：声明尺寸先升 int/long long 校验（w/h 单边 ≤1<<20；h=INT_MIN 用
    -(long long)hi 取绝对值，不再有 -h 溢出）；rowsize 用 64 位算并验；
    行偏移 off / 采样下标 sx 改 long long，sx 夹在 [0,w-1]；按行 fseek 前加
    off > LONG_MAX 拒绝；目标 RGBA 字节数 64 位验后再 malloc
  · PNG：IHDR 尺寸原已 ≤65535，补上 tw*th*4 的 64 位校验（32768²×4 = 2^32 会回绕），
    emit_row 的 sy/sx 与输出行偏移改 64 位并夹紧
- meow_jpeg.c（顺手审计同类 32 位算术，评审要求「不要只修点名那处」）
  · mj_layout 返回 unsigned long long（单平面/三平面之和都可能越 2^32），
    越界返回 MJ_LAYOUT_BAD → mj_sof 各处重新布局后都检查
  · target_bytes 与分量 plane malloc 改 64 位验算；目标图字节超 MJ_PEAK_CAP 直接拒
  · mj_output：输出缓冲 64 位验；y*vh / x*vw 采样改 long long 并夹紧
  · meow_img_target_dims / mj_pick_n 的 (long)h*maxdim、8*maxdim 改 long long

- test_meow_img_stream.c：新增 S17（10 组畸形 BMP 声明尺寸 + 2 个合法正例 +
  PNG 回绕点），断言「后端拒绝 + 公开入口不崩（越界尺寸另断言 NULL 且不分配）」；
  文件头补 ILP32 交叉编译命令（宿主 LP64 看不到 32 位回绕，测试注释里明写这一点）

验证：同一测试在 zig arm-linux-musleabi（sizeof(long)=4）下 S1-S17 全绿（206 checks，
exit 0）；把后端换回 r1 提交的旧实现，同一 ARM32 二进制 exit 139（说明 S17 真能抓）；
宿主 LP64 S1-S17 全绿、B1-B9 全绿；静态库 --verify 仍 78 成员 / 全 MIPS32r2。

同步提醒：这些行与公开仓 ~/Proj/MeowOS-SDK/sdk/{meow_png_stream.c,meow_jpeg.c} 逐字节
同源，同一补丁必须由控制塔同步过去，否则立刻产生双边漂移。

2026-11-06 21:27:03 +08:00

apps_assets

app.json 二进制依赖 depends：启动前检查（launcher）+ 安装提示（nyai）

2026-09-01 18:28:07 +08:00

bootmenu

fix(boot): M21 r1 评审 P1 — bl_cap 把 cur=0 当「无有效值」照写 20（+P2 两处）

2026-11-05 22:04:16 +08:00

files_app

fix(files): 目录列表行高按字体行高派生 — 20px 字库下首行标题不再空白（M17）

2026-11-05 20:57:13 +08:00

hello_app

fix(hello): demo 左滑列表行高按字体行高派生 — 首行标题不再丢失（M17）