Open Source
我沿著系統不變量追查資源會計、生命週期與並行錯誤，建立可重現的失效案例與回歸測試，並把修正送進 Kubernetes、OpenTelemetry、Kueue 與其他上游專案。
CNCF Ambassador · Kubernetes GitHub Org Member · Nephio (LFN) TSC Member · OpenTelemetry GitHub Org Member · Zephyr M5Stack Platforms Maintainer
同一套不變量方法，目前已追出四條跨專案/跨路徑的缺陷家族，每條都可點進完整變體分析：
Representative campaigns
不是逐個修 bug，而是從一個缺陷抽象出審查不變量，跨專案追蹤同一失效模式，再把每個修正一路推到上游合併並附回歸測試。
01 · Resource accounting
從 Kubernetes DRA 的一個 int64 溢位出發，把根因抽象成可重用的審查不變量（加總、乘法、型別轉換不得溢位/截斷/漏算/重複扣款），再檢查 Kueue、KAI-Scheduler、Volcano、CDI 等實作。
validRange（除零）02 · Async lifecycle
按「失效契約」而非逐 PR 整理匯出路徑的正確性：連線生命週期（erase 後仍存取 → use-after-free）、完成同步（lost/spurious wakeup）、終端事件契約（一個 operation 被結算 0 次或 2 次）。
03 · NTN transactionality
把 NTN SIB19 更新視為一筆交易、而不是十個孤立 bug：coroutine 非持有 reference/span、bounded queue 背壓、部分提交無 rollback、忽略失敗回傳、環狀時間邊界、SI assembler 狀態失同步。
eci_to_orbital 的 acos 引數浮點越界 → NaN 汙染整組軌道要素kmac-r17 CLI 邊界驗證（自報自修）taCommon 邊界驗證（自報自修）Coordinated remediation
在 insomniacslk/dhcp 的 nclient4 找到一個遠端可觸發的 DoS：修好根因、補上回歸與 hardening、向 Go 漏洞資料庫提報，並把修復沿相依圖推進到下游。
Found · 遠端可觸發 DoS
BroadcastRawUDPConn.ReadFrom 計算 DHCP payload 長度時，沒先確認 IPv4 payload 裝得下 8-byte UDP 標頭；畸形短 frame 會算出負長度、進到 slice 操作而 panic。任何走預設 broadcast/raw 路徑的 DHCP client 都打得到。
Root fix · PR #583 merged
IPv4 payload 長度不足以容納 UDP 標頭時直接拒收（ipPayloadLen < udpHdrLen 先 continue）。merge commit c76316d4、2026-07-19。
Reported · golang/vulndb #6237 triaged · high-priority
向 Go 安全團隊正式提報。high-priority 是 Go vulndb 的工作流優先級（＝需要一份 reviewed report），不是 CVSS 嚴重度。
Advisory · GO-2026-6237 published · 2026-08-18
Go 安全團隊的 REVIEWED 報告已合併進 vulndb（CL 816561 landed、#6237 已關，commit cc7648d）。2026-08-18 已正式發佈：vuln.go.dev/ID/GO-2026-6237.json 與 pkg.go.dev/vuln/GO-2026-6237 現在都查得到。仍不是 CVE（OSV aliases 為空）。advisory 的 credits 欄目前也是空的，具名請求 golang/vulndb#6251 還開著。
Downstream propagation · 8 merged
把 #583 的修復 bump 進相依此函式庫的專案，8 個都已合併。
狀態截至 2026-08-25。GO-2026-6237 已於 2026-08-18 發佈，vuln.go.dev 與 pkg.go.dev 皆可查詢；仍不是 CVE（aliases 為空）。根因修復 #583 已 merged，下游已 merged 8 筆。advisory 的 credits 欄仍為空，具名請求 golang/vulndb#6251 仍開著。
Selected upstream work
依讀者要理解的「問題領域」整理，而非 repo 所屬基金會（基金會分布見 Ledger）。每筆都可點進上游查證；完整 259 筆在 Ledger。
避免不可滿足的裝置被錯誤判定為可配置（int64 溢位）。
在造成除零或錯誤驗證前先拒絕。
配額會計 int64 溢位加固，含 count==1 進位測試。
否則 ungater 依正在釋放的容量放行過多 pod。
連線關閉銷毀後仍寫 response、對已關 socket 送資料。
無述詞 cv_.wait，通知早於 parking 即遺失；改鎖內記狀態+述詞等待。
消除跨 driver 撞名造成的錯誤配置。
只處理自家 driver 的 result，補回官方 example-driver 本有的守衛。
相容分支提早 return、略過唯一套用優先權處，改為也套用（Closes #13778）。
浮點越界使 acos 回 NaN、汙染整組軌道要素與 SIB19 ephemeris；三處 clamp。
response 抵達後才 cancel 時，避免 export 被結算兩次。
自動 CP 衝突後手改適配，把修正安全帶回發布分支。
每次 reconcile 只解析一次 WorkloadPriorityClass，避免 fan-out 併發寫進同一 class 的不同值。
DRA kubeletplugin 的 errors.Join 打字錯誤、converting-client 型別斷言、device-taint 遺失 TimeAdded 三修。
讓 ForceFlush/Shutdown 遵守 caller 傳入的 deadline。
ESP32 DMA descriptor 邊界與 M2M 停止路徑（M5Stack platforms 維護範圍）。