insert_many 的緩衝區溢位

測試方法

從官方套件庫下載脆弱版與修補版的發布封存檔，核對 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

判定

needs_human

位置

src/lib.rs:1044

公開識別證據摘要

iterator 給出的元素多於 size_hint 下限時，insert_many 發生堆積／堆疊緩衝區溢位。

grok：plausible。覆核沒有駁倒候選，結論停在 needs_human，不算確認。

找洞模型

claude-opus-5-5 (Anthropic)

覆核模型與判定

grok-4.7 (xAI): plausible

工具版本

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://static.crates.io/crates/smallvec/smallvec-1.6.0.crate
shasum -a 256 release-archive   # expect 1a55ca5f3b68e41c979bf8c46a6f1da892ca4db8f94023ce0bd32407573b1ac0
mkdir release-tree && bsdtar -xf release-archive --strip-components 1 -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 清單、且沒被駁回的輸出，同一臂的其他輸出沒有審閱，不能當成修補版沒有其他問題。src/lib.rs 有 1,981 行，超過單一審查單元的長度，兩版都只送出第 1–1500 行；目標範圍在送出的部分之內。修補版的該單元標為 partially_reviewed。

來源與歸屬

RustSec 公告寫明由 Yechan Bae（@Qwaz）與 Georgia Tech SSLab 的 Rust 小組發現並通報；修補歸屬見 smallvec 上游。Vettalon 只做已知漏洞的識別測試。