Google imekamilisha mradi wa majaribio kwa kutumia Gemini kuandika upya maktaba za C zilizosambazwa kwa wingi huko Rust - na jaribio hilo lilizaa matunda kwa njia ambayo hakuna mtu aliyepanga. Muda mfupi baada ya kampuni kuhamisha mifumo yake ya utayarishaji hadi kwa uandishi upya wa maktaba ya kuchakata GIF inayozalishwa na AI, yenye usalama wa kumbukumbu ya giflib, uwezekano mpya wa uandishi wa lundo la nje ya mipaka ulifichuliwa katika msimbo asilia wa C, uliopewa CVE-2026-26740. Mifumo ya Google tayari ilikuwa na kinga.
Kampuni ilipunguza uwezekano wa kuathiriwa kwa siku sifuri kupitia usanifu badala ya kuweka viraka. Kama timu ya wahandisi wa usalama ya Google ilivyoeleza katika chapisho kwenye blogu yake ya Bug Hunters, timu haikuwa na ufahamu wa ufichuzi uliosubiriwa wakati wa kuandika upya - ulinzi ulikuwa athari ya kimuundo ya kuondoa nambari isiyo salama ya kumbukumbu. Kwa zaidi kuhusu jinsi AI inavyounda upya utafiti na uhandisi wa AI, fuata AI Buzz Wire.
Kwa Nini Usalama wa Kumbukumbu Ni Muhimu Sasa
Athari za usalama wa kumbukumbu husababisha takriban 70% ya udhaifu katika misingi ya kanuni za C na C++, kulingana na utafiti wa Google yenyewe. Maktaba za watu wengine ni sehemu dhaifu kwa sababu mara kwa mara huchanganua data isiyoaminika. Wakati huo huo, muda kati ya ugunduzi wa hatari na utumiaji silaha huendelea kupungua - washambuliaji, wanaozidi kusaidiwa na AI wenyewe, husonga haraka kuliko mizunguko ya kawaida ya kiraka.
Google kwa muda mrefu imekuwa ikitetea mkakati wa "Usimbaji Salama" ambao unatanguliza lugha salama kwa kumbukumbu kama vile Kutu. Shida ambayo haijatatuliwa ni msingi mkubwa uliosanikishwa wa utegemezi wa C na C++ ambao hauwezi kufutwa tu. Rubani aliuliza swali la moja kwa moja: LLM inaweza kubadilisha utegemezi huo haraka kuwa Rust bila kuvunja chochote?
Lengo: giflib
Google ilichagua giflib, maktaba inayotumika sana ya kuchakata picha za GIF iliyotengenezwa awali na Eric S. Raymond. Maktaba ilitoa wasifu bora wa utata kwa jaribio la kwanza: takriban mistari 3,000 ya msimbo, hakuna uboreshaji wa SIMD au mkusanyiko, na msingi thabiti wa msimbo. Kimsingi, giflib mara nyingi huchakata data isiyoaminika katika mazingira yasiyo ya sandbox - hasa aina ya timu za usalama za uso wa uvamizi ambazo huwa na wasiwasi nazo zaidi.
Lengo lilikuwa kubwa: toa kibadala cha kuhifadhi kumbukumbu, kinachooana na ABI ambacho kinaweza kutumwa kwenye miundombinu ya uzalishaji ya Google bila kukatizwa sifuri kwa huduma tegemezi. Tafsiri ya awali ya mantiki ya maktaba ilikamilishwa haraka kwa usaidizi wa LLM, lakini timu ilialamisha mahitaji mawili ambayo yalithibitisha uamuzi wake: usimamizi makini wa mpaka wa FFI - mzunguko wa maisha wa pointer na semantiki za umiliki wa Rust kwenye kiolesura cha wapigaji simu wa C waliopo - na kile ambacho Google inakiita "sehemu ya kijamii ya usalama," imani ya kibinadamu inayohitajika kupeleka huduma muhimu zinazozalishwa na AI huandikwa upya.
Gauntlet ya Uthibitishaji
Ili kupata uaminifu wa uzalishaji, utekelezaji wa Rust ulipitia majaribio ya kina:
- Jaribio la urejeshaji wa kiwango kikubwa: Imethibitishwa dhidi ya mkusanyiko wa data wa zaidi ya milioni 30 za GIF za ulimwengu halisi, na kuthibitisha matokeo sawa na utekelezaji wa awali.
- Mchanganyiko tofauti: Fuzzer asili-dhidi-Rust iliendelea mfululizo kwa zaidi ya siku sita na marudio zaidi ya milioni 200 bila kupata hitilafu zozote za kimantiki.
- Mapitio ya AI ya Adui: Vidokezo maalum vya LLM vilitumiwa kutafuta tofauti fiche za kitabia kati ya misingi miwili ya kanuni ambayo majaribio ya kitamaduni yanaweza kukosa.
Bomba hilo lilithibitisha thamani yake kabla ya kupelekwa. Ilitambua kisa chenye makali katika avkodare ya LZW na - hasa zaidi - iligundua udhaifu wa maandishi uliokuwepo hapo awali ambao ulikuwa umeanzishwa na urithi wa ndani wa Google kwenye chanzo asilia cha C, ambacho timu ilirekebisha kwenye Rust kuandika upya.
Utendaji Haukuteseka
Pingamizi la kawaida kwa lugha salama za kumbukumbu ni gharama ya ukaguzi wa mipaka ya wakati wa kukimbia. Ufuatiliaji wa Google katika huduma zake za kimataifa za usindikaji wa picha ulionyesha kuwa utekelezaji wa Rust haukuwa na utendakazi ikilinganishwa na C asilia - matokeo ambayo kampuni inasema imeona mara kwa mara katika uhamiaji wa Rust.
Kulikuwa na bonasi isiyotarajiwa. Kwa sababu maktaba ya Rust ni salama kwa kukumbukwa kwa ujenzi, Google iliweza kusitisha matumizi ya sandbox yenye rasilimali nyingi ambayo baadhi ya huduma za uzalishaji zilihitaji hapo awali ili kutenga maktaba ya C. Urahisishaji huo wa usanifu ulitoa punguzo kubwa la latency ya mkia kwa kazi za usimbaji picha.
Inayo Chanzo Wazi - Kwa Mapango ya Uaminifu
Google imechapisha Rust rewrite kwenye github.com/google/giflib-rs na inachangia matokeo yake kwa jumuiya. Kampuni pia inashukuru juhudi zinazoongozwa na binadamu, kama vile Wakfu wa Trifecta Tech uandishi upya wa zlib kwenye Rust na utendakazi mkubwa, kama sehemu ya mfumo mpana wa suluhu.
Mapango yanafaa kuzingatia. Kuandika upya kunahitaji kiasi kikubwa cha data ya ulimwengu halisi au vikundi dhabiti vya majaribio vilivyopo ili kuthibitisha usawa wa tabia, na kuachana na mradi wa juu kwa kubadilisha lugha huleta gharama halisi ya urekebishaji - haswa kwa vitegemezi vilivyo chini ya usanidi amilifu. Tafsiri inayosaidiwa na AI, kwa maneno mengine, huharakisha lakini haichukui nafasi ya uamuzi wa kihandisi.
Picha Kubwa
Jaribio ni mojawapo ya maonyesho ya wazi zaidi kwamba LLM zinaweza kutoa maboresho ya usalama wa kimuundo kwa kiwango, sio tu mapendekezo ya msimbo. Kwa kuchanganya kasi ya tafsiri inayoendeshwa na LLM na majaribio tofauti na ukaguzi wa kitaalam wa kibinadamu wa mipaka ya usalama, Google inabishana, aina zote za udhaifu zinaweza kufutwa kutoka kwa miundombinu ya uzalishaji - kabla ya mtu yeyote kujua ni CVE gani mahususi itakayofuata.
Chanzo: blogu ya Google Bug Hunters, "Kuongeza Usalama wa Kumbukumbu: Maandishi Yanayosaidiwa na AI ya Vitegemezi vya C/C++ hadi Kutu."
---
Kaa Mbele ya AIPata habari za hivi punde za AI, uchanganuzi na mafanikio - yote katika sehemu moja.
Soma habari zaidi za AI →
