訊框長度整數溢位繞過讀取上限

測試方法

從官方套件庫下載脆弱版與修補版的發布封存檔，核對 SHA-256 後掃描整個樹，沒有 git 歷史。兩版用同一組參數：deep profile、claude 找洞、grok 與 agy（GPT-OSS）跨家族覆核、最多 8 個審查單元、每個候選覆核 1 次、PoC 關閉。模型輸入不含 CVE 編號、公告文字或修補 diff，兩版都先移除 changelog。比對標準（檔案、行號範圍、CWE 清單）在 2026-10-20 12:51 UTC 公開提交，第一次掃描在 29 秒後開始。登錄檔內的 registeredAt 寫 12:55，是提交前手填的估計，與實際不符；以提交時間為準，檔案沒有再改，所以雜湊不變。

模式

release-archive

判定

candidate

位置

conn.go:843

公開識別證據摘要

64 位元訊框長度的有號溢位可繞過 SetReadLimit，造成記憶體無上限消耗。

grok：no_verdict。覆核呼叫 600 秒逾時，沒有有效判定，結論停在 candidate。

找洞模型

claude-opus-5-5 (Anthropic)

覆核模型與判定

grok-4.7 (xAI): no_verdict (timeout)

工具版本

vettalon 0.3.0 (built from source on 2026-10-20)

模型版本

Finder claude-opus-5-5 (claude CLI 2.1.300); verifiers grok-4.7 (grok CLI 1.0.62) and gpt-oss-120b-medium (agy 1.4.3)

當時範圍

Whole release archive, no git history; up to 8 audit units; changelog files removed from both arms; L0 (no CWE, location or advisory hint)

重跑識別步驟

先安裝 Vettalon CLI，並在 config.toml 設定自己的模型與憑證。以下下載官方發布封存檔、核對 SHA-256 後掃描整個樹；預先登錄檔列出排除的檔案。模型與規則版本可能不同，結果不保證相同。deep 模式會把原始碼送到你設定的模型。這是識別測試，不執行上游專案，也不驗證利用。

curl -sSfLo release-archive https://proxy.golang.org/github.com/gorilla/websocket/@v/v1.4.0.zip
shasum -a 256 release-archive   # expect 937dac399bca2f88344c31ee295cd57310244bc1a3a58e8bcb14ab26a6009d0e
mkdir release-tree && bsdtar -xf release-archive --strip-components 3 -C release-tree
# remove the files listed under "excluded" in the pre-registration, then:
vettalon scan ./release-tree --profile deep --config ./config.toml --finders claude --verifiers grok,agy --max-modules 8 --refuter-runs 1 --no-prior --time-budget 2400 --report ./result.json

預先登錄的封存版本掃描

兩個臂都掃官方發布的封存檔（非 git 歷史），參數相同，模型輸入不含 CVE 編號、公告文字或修補 diff。命中與否依掃描前公開登錄的檔案、行號範圍與 CWE 判定；其他輸出只列數量，未審閱。修補版「未被標記」只代表對應範圍沒有符合標準的輸出。模型可能在訓練時看過這份公告，候選也不等於自動確認。

比對標準在第一次掃描前公開登錄： 預先登錄檔（JSON）

限制與前提

模型可能在訓練時看過這份公告或修補，所以命中不能證明它是從程式碼推理出來的。候選與 needs_human 都不是自動確認，這次也沒有跑 PoC 或任何利用。單次執行，模型輸出有隨機性。五筆案例是挑過的已知漏洞，不能拿來推估召回率或誤報率。其他輸出只公開數量，沒有審閱。原始 report.json 與 trace 不公開，只列 SHA-256。表格的執行狀態照錄產品回報；incomplete 代表有單元延後、截斷、失敗或沒能交叉核對，原因列在旁邊，但每一臂的目標檔都有送審。修補版「未被標記」只表示對應範圍沒有符合 CWE 清單、且沒被駁回的輸出，同一臂的其他輸出沒有審閱，不能當成修補版沒有其他問題。這筆候選沒有完成跨家族覆核（逾時），比其他四筆少一層檢查。

來源與歸屬

公告寫明由 Max Justicz 發現並通報；修補歸屬見 gorilla/websocket 公告。Vettalon 只做已知漏洞的識別測試。