// AI news · 2026-11-12 · Google AI Changelog
Google uses Gemini and Z3 to catch Go bugs missed by fuzzing
Google uses Go's bounds-check traps, Gemini 4 Argon, and Z3 to detect latent panics missed by fuzzing.
Published 2026-11-12 08:00 (Beijing time)Source Google AI ChangelogAuto-summarised, fact-checked against source
01Summary
The workflow analyzes surviving runtime panic traps in compiled code, translates control flow into Z3 constraints, and generates concrete crash inputs verified by go test. It successfully identifies bugs in parsers and skill-lint, demonstrating practical effectiveness without full formal verification.
Summarised from the original article by an open-source model, then checked automatically: every number and English name must appear in the source. The original article is authoritative.
02Key points
- Leverages Go's bounds-check traps and compiler optimizations to detect latent panics.
- Gemini 4 Argon translates assembly paths into Z3 constraints for crash input generation.
- Validated crashes are confirmed via go test, ensuring real-world reproducibility.
- Achieves high bug-finding efficiency with minimal overhead per function.
03Source
Catch Go bugs that fuzzing misses with Gemini and a constraint solver
Google AI Changelog · published 2026-11-12 08:00 Beijing time
05Related news
- Same source · Google launches A2UI 1.0 for generative UI protocols2026-11-11 · Google AI Changelog
- Same source · Google launches on-device ASR and TTS in Edge Gallery2026-11-10 · Google AI Changelog
- Same topic · Hugging Face Releases Fine-Tuning Guide for TRELLIS.22026-11-12 · Hugging Face Blog
- Same topic · Google launches Gemini Decisions API for fast multimodal decisions2026-11-12 · Google Blog
- Same day · Theoretical Limits of Language Model Alignment2026-11-12 · Apple Machine Learning Research
From AIMap AI news: collected from 1,100+ official and media sources. Summaries only restate the original article; follow the link for the full story. All stories of 2026-11-12 · Archive by date · All AI news · Today