„Gemini“ ir „Z3“ naudojimas paslėptoms „Go“ vykdymo laiko klaidoms nustatyti
Trumpai: „Google“ pristatė darbo eigą, kurioje „Gemini 4 Argon“ analizuoja „Go“ asamblerio kodą ir sugeneruoja taisykles „Z3“ ribojimų spręstuvui. Šis metodas aptinka klaidas, kurias įprastas „fuzzing“ testavimas dažnai praleidžia dėl „Go“ vykdymo laiko aplinkos elgsenos su masyvų talpa.
Šią santrauką automatiškai parengė dirbtinis intelektas pagal „Google Developers“ publikaciją. Tai mūsų tekstas, ne originalo kopija — faktai, skaičiai ir citatos priklauso šaltiniui, kurio nuoroda pateikta viršuje ir apačioje.
Kas pasikeitė?
- 1Naujas „Go“ asamblerio kodo vertimo į „Z3“ ribojimus metodas
- 2Darbo eiga paslėptoms masyvo ribų klaidoms (panics) nustatyti
- 3Technika pataisų tikslumui patikrinti naudojant spręstuvo grįžtamąjį ryšį
| Parametras | Buvo | Dabar |
|---|---|---|
| Capability | Nėra oficialių duomenų | Model reasoning about assembly and constraint generation |
Kodėl tai svarbu?
Standartinis „fuzzing“ dažnai neaptinka klaidų, nes masyvų talpa dažnai viršija jų ilgį, taip užmaskuojant galimus perpildymus. Šis spręstuvu pagrįstas metodas leidžia aptikti tokias spragas analizuojant sukompiliuoto kodo valdymo srautus.
Ką tai reiškia AI agentams ir kontaktų centrams?
Komandoms, kuriančioms didelio našumo balso agentus ar „Go“ pagrindu veikiančius kontaktų centrų sprendimus, šis metodas padės sutvirtinti kodą, apdorojantį dvejetainius duomenis ar pritaikytus duomenų skaitytuvus. Galite jį pritaikyti išskirdami pagrindines funkcijas analizei, kad užtikrintumėte, jog skaitytuvai neužlūžtų dėl netinkamų įvesties duomenų.
🧪 Verta testuoti
Tai žymiai pagerina žemo lygio analizės logikos patikimumą, identifikuojant kraštutinius atvejus, kurių nepavyksta aptikti net išsamiais vieneto ar „fuzzing“ testais.
Šaltiniai
- Google DevelopersOficialusPirminis šaltinisOriginalus straipsnis →„Catch Go bugs that fuzzing misses with Gemini and a constraint solver“2026-11-12 02:00
- Šaltinio publikavimo data
- 2026-11-12 02:00
- Mūsų sistema rado
- 2026-11-12 22:44
- Santrauka sugeneruota
- 2026-11-12 22:44
Straipsnį pagal originalų šaltinį parašė AI. Faktai, skaičiai ir kainos — iš šaltinio; trūkstamos reikšmės pažymėtos „Nėra oficialių duomenų“. Teisinė informacija, autorių teisės ir privatumas