Skip to content

tests: pin lock ownership, channel wiring and page effects - #236

Merged
Zakkaus merged 1 commit into
masterfrom
tests/scan3-bcf
Aug 10, 2026
Merged

tests: pin lock ownership, channel wiring and page effects#236
Zakkaus merged 1 commit into
masterfrom
tests/scan3-bcf

Conversation

@Zakkaus

@Zakkaus Zakkaus commented Aug 10, 2026

Copy link
Copy Markdown
Member

第三轮变异扫描(~/code/memory/binhost/scan3-findings.md)B、C、F 三条线的 P2
共九项。这三条线共用少数几个测试档,所以放在一个 PR。

修的是测试盖不住,不是线上故障:本 PR 不改 build/deploy/ops/site/
下任何脚本,只动 tests/

变异反证

十次注入,全部使对应测试非零结束:

  • B3 锁文件写入 wrong-owner;B5 FILES 删掉 source.txt;B6 SHA-256 固定成
    64 个 0、size 加 1。
  • C1 binhost-build.timer 加入 Unit=binhost-build-unstable.service
    C2 daily.sh 的 stable INDEX 指向 unstable;C4 内核归档要求错误的 USE flag。
  • F2 剪贴板值前面加字;F5 内核归档 rsync 目标改成 wrong/
    F7 OWNED/*.html 收窄成 /index.html

每次注入后还原,build/deploy/site/git diff 为空。

测试

本机 Python、Shell、JavaScript 测试、check-copypy_compilecheck-commits
全部通过。

至此第三轮扫描的 P1 四项与 P2 二十五项全部处理完。P3 二十二项另行给结论清单。

第三轮变异扫描的 B、C、F 三线 P2 共九项:接管陈旧锁后不核对新持有者、代际
文件集合与摘要由被测的生产常量自证、`stable` 定时器可启动 `unstable` 服务、
`stable` 包列表可读取 `unstable` 索引、内核归档可要求错误的 USE flag 与错误
的 rsync 目标、复制按钮不核对剪贴板内容、站点发布夹具缺 `packages.html`,
改坏之后测试都仍然通过。

三条线共用少数几个测试档,所以放在一个提交里。断言改为执行之后的结果:解析
定时器实际启动的服务、执行两个包列表命令核对收到的参数、触发真实的点击处理
程序核对剪贴板内容、rsync 桩记录完整参数。代际测试改用独立的固定清单与独立
摘要,并加入同长度内容替换的反例。
@Zakkaus
Zakkaus merged commit 5f588cd into master Aug 10, 2026
7 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant