Новости

Catch Go bugs that fuzzing misses with Gemini and a constraint solver- Google Developers Blog

Google Developers · Опубликовано 12 ноября 2026 г. · 3 мин чтения

За 30 секунд

Что произошло: Google used Gemini 4 Argon and Z3 constraint solver to find Go bugs that fuzzing misses by analyzing compiled machine code.
Почему это важно: Go developers maintaining complex parsers or slice-heavy code should consider this when standard fuzzing and testing leave them uncertain about bounds-check safety.
На что обратить внимание: The LLM-generated solver model is not formally sound; it finds real bugs only because go test verifies each crash, but unsat answers mean maybe correct, not definitely correct.

Каждый разбирает, как работает техника, когда она оправдывает затраты и где ломается.

Один паттерн, один компромисс, одна история сбоя в продакшене. Короткий еженедельный брифинг для тех, кто строит агентные системы.

Одно письмо в неделю, отписка в один клик. Адрес используется только для рассылки брифинга.

Новости

Google Developers · Опубликовано 12 ноября 2026 г. · 3 мин чтения

Что произошло: Google used Gemini 4 Argon and Z3 constraint solver to find Go bugs that fuzzing misses by analyzing compiled machine code.
Почему это важно: Go developers maintaining complex parsers or slice-heavy code should consider this when standard fuzzing and testing leave them uncertain about bounds-check safety.
На что обратить внимание: The LLM-generated solver model is not formally sound; it finds real bugs only because go test verifies each crash, but unsat answers mean maybe correct, not definitely correct.

Каждый разбирает, как работает техника, когда она оправдывает затраты и где ломается.

Одно письмо в неделю, отписка в один клик. Адрес используется только для рассылки брифинга.