Google 工程師使用 Gemini 4 Argon 和 Z3 捕捉 Go 邊界錯誤
熱點事件觀察中
Google 工程師使用 Gemini 4 Argon 和 Z3 捕捉 Go 邊界錯誤
1 篇報導1 個報導來源2 天前更新
先了解這件事
AI 綜述
一位負責公司 agent skills 計畫的 Google 工程師建立了一套流程：由 Gemini 4 Argon 讀取 Go 原始碼與 RISC-V 反組譯，並將殘存的 runtime.panicBounds 陷阱轉換為 Z3 約束；接著 go test 會把任何可滿足的輸入重放為真實的再現案例。根據該工程師的說法，這套工作流程在 skill-lint 中捕捉到全部三個植入的錯誤與三個潛伏的錯誤。 未設定種子的 go test -fuzz 漏掉了兩個植入的當機，因為 Go 是依容量而非長度檢查切片。用 data[:len(data):len(data)] 將容量裁剪至長度後，模糊測試器在三次執行中都讓兩個越界錯誤當機，中位數分別為 0.28 秒與 0.17 秒。
AI 依報導生成 · 16 小時前更新
最新進展11月12日 00:00
Google 工程師用 Gemini 4 Argon 與 Z3 捕捉 Go 邊界檢查中模糊測試漏掉的錯誤報導時間線
沿著報導，了解事件的不同側面。
11月12日
- Google Developers BlogGoogle 工程師用 Gemini 4 Argon 與 Z3 捕捉 Go 邊界檢查中模糊測試漏掉的錯誤
一位主導公司 agent skills 計畫的 Google 工程師建了一套流程，讓 Gemini 4 Argon 讀取 Go 原始碼與 RISC-V 反組譯，把殘存的 runtime.panicBounds 陷阱轉成 Z3 約束，再由 go test 把任何可滿足的輸入重放成真正的重現案例。這套流程在 skill-lint 中抓到了全部三個植入的錯誤與三個潛伏錯誤，而未設種子的 go test -fuzz 漏掉了其中兩個植入的當機，因為 Go 是拿切片對容量而非長度做檢查。用 data[:len(data):len(data)] 把容量裁到長度後，模糊測試器在三次執行中都讓兩個越界錯誤當掉，中位數分別為 0.28 秒與 0.17 秒。
本事件熱度走勢
還沒有足夠的連續觀測資料，暫不繪製趨勢。