Google نے Rust میں وسیع پیمانے پر تعینات C لائبریریوں کو دوبارہ لکھنے کے لیے Gemini کا استعمال کرتے ہوئے ایک پائلٹ پروجیکٹ مکمل کیا ہے - اور اس تجربے کا نتیجہ اس طرح سے مکمل ہوا ہے جس کی کسی نے منصوبہ بندی نہیں کی تھی۔ کمپنی کے اپنے پروڈکشن سسٹمز کو AI سے تیار کردہ، GIF پروسیسنگ لائبریری giflib کی میموری سے محفوظ ری رائٹ میں منتقل کرنے کے فوراً بعد، اصل C کوڈ میں ایک نئی حد سے باہر ہیپ رائٹ کمزوری کا انکشاف ہوا، جسے CVE-2026-26740 تفویض کیا گیا۔ گوگل کے سسٹمز پہلے ہی محفوظ تھے۔

کمپنی نے پیچنگ کے بجائے فن تعمیر کے ذریعے صفر دن کے خطرے کو مؤثر طریقے سے بے اثر کر دیا۔ جیسا کہ گوگل کی سیکیورٹی انجینئرنگ ٹیم نے اپنے بگ ہنٹرز بلاگ پر ایک پوسٹ میں وضاحت کی، ٹیم کو دوبارہ لکھنے کے دوران زیر التواء انکشاف کے بارے میں کوئی علم نہیں تھا - یہ تحفظ میموری کے غیر محفوظ کوڈ کو ختم کرنے کا ساختی ضمنی اثر تھا۔ مزید جاننے کے لیے کہ AI کس طرح نئی شکل دے رہا ہے AI ریسرچ اینڈ انجینئرنگ، AI Buzz Wire کو فالو کریں۔

یادداشت کی حفاظت اب کیوں اہم ہے۔

Google کی اپنی تحقیق کے مطابق، C اور C++ کوڈ بیسز میں میموری کی حفاظت کی کمزوریوں کا تقریباً 70% حصہ ہے۔ فریق ثالث کی لائبریریاں ایک خاص کمزور نقطہ ہیں کیونکہ وہ معمول کے مطابق ناقابل اعتماد ڈیٹا کو پارس کرتی ہیں۔ ایک ہی وقت میں، خطرے کی دریافت اور ہتھیار بنانے کے درمیان وقفہ سکڑتا رہتا ہے — حملہ آور، جو خود AI کی مدد سے بڑھتے ہیں، روایتی پیچ سائیکلوں سے زیادہ تیزی سے آگے بڑھتے ہیں۔

گوگل نے طویل عرصے سے "محفوظ کوڈنگ" حکمت عملی کی وکالت کی ہے جو میموری سے محفوظ زبانوں کو ترجیح دیتی ہے جیسے زنگ۔ حل نہ ہونے والا مسئلہ C اور C++ انحصار کا وسیع انسٹال بیس ہے جسے آسانی سے حذف نہیں کیا جا سکتا۔ پائلٹ نے براہ راست سوال کیا: کیا کوئی ایل ایل ایم تیزی سے ان انحصاروں کو بغیر کسی ٹوٹے کے زنگ میں تبدیل کر سکتا ہے؟

ہدف: giflib

گوگل نے giflib کا انتخاب کیا، ایک وسیع پیمانے پر استعمال ہونے والی GIF امیج پروسیسنگ لائبریری جو اصل میں Eric S. ریمنڈ نے تیار کی تھی۔ لائبریری نے پہلی کوشش کے لیے ایک مثالی پیچیدگی کا پروفائل پیش کیا: کوڈ کی تقریباً 3,000 لائنیں، کوئی SIMD یا اسمبلی آپٹیمائزیشن نہیں، اور ایک مستحکم کوڈ بیس۔ تنقیدی طور پر، giflib اکثر غیر سینڈ باکس والے ماحول میں ناقابل اعتماد ڈیٹا پر کارروائی کرتا ہے - بالکل اسی قسم کے حملے کی سطح کی حفاظتی ٹیمیں زیادہ تر فکر مند ہیں۔

مقصد مہتواکانکشی تھا: میموری سے محفوظ، ABI سے مطابقت رکھنے والا ڈراپ ان متبادل تیار کریں جو Google کے پروڈکشن انفراسٹرکچر پر منحصر خدمات میں صفر رکاوٹ کے ساتھ تعینات کر سکے۔ لائبریری کی منطق کا ابتدائی ترجمہ LLM کی مدد سے تیزی سے مکمل ہوا، لیکن ٹیم نے دو تقاضوں کو جھنڈا دیا جو فیصلہ کن ثابت ہوئیں: FFI باؤنڈری کا محتاط انتظام — موجودہ C کالرز کے ساتھ انٹرفیس میں پوائنٹر لائف سائیکل اور Rust's ملکیت کے سیمنٹکس — اور جسے Google "سکیورٹی کا سماجی جزو" کہتا ہے، انسانی اعتماد کو دوبارہ تخلیق کرنے کے لیے AI کی ضرورت ہے۔

توثیق گونٹلیٹ

پیداوار کا اعتماد حاصل کرنے کے لیے، زنگ کا نفاذ مکمل جانچ سے گزرا:

  • بڑے پیمانے پر ریگریشن ٹیسٹنگ: 30 ملین سے زیادہ حقیقی دنیا کے GIFs کے ڈیٹاسیٹ کے خلاف توثیق شدہ، اصل نفاذ سے مماثل آؤٹ پٹ کی تصدیق کرتا ہے۔
  • تفرقی فزنگ: ایک اصلی بمقابلہ زنگ آلود چھ دن سے زیادہ مسلسل چلتا رہا اور بغیر کسی منطقی انحراف کے 200 ملین سے زیادہ تکرار کرتا رہا۔
  • Adversarial AI کا جائزہ: خصوصی LLM پرامپٹس کا استعمال دو کوڈ بیسز کے درمیان ایسے لطیف رویے کے فرق کو تلاش کرنے کے لیے کیا گیا تھا جو روایتی ٹیسٹنگ سے چھوٹ سکتے ہیں۔

پائپ لائن نے تعیناتی سے پہلے اپنی قابلیت ثابت کردی۔ اس نے LZW ڈیکوڈر میں ایک کنارے کے معاملے کی نشاندہی کی اور - خاص طور پر - پہلے سے موجود حد سے باہر لکھنے کے خطرے کا پردہ فاش کیا جو گوگل کے اندرونی میراثی پیچ کے ذریعہ اصل C سورس میں متعارف کرایا گیا تھا، جسے ٹیم نے Rust ری رائٹ میں درست کیا۔

کارکردگی متاثر نہیں ہوئی۔

میموری سے محفوظ زبانوں پر ایک عام اعتراض رن ٹائم باؤنڈ چیکنگ کی لاگت ہے۔ گوگل کی اس کی عالمی امیج پروسیسنگ سروسز پر نگرانی نے ظاہر کیا کہ زنگ کا نفاذ C اصل کے مقابلے پرفارمنس غیر جانبدار تھا - ایک نتیجہ جس کا کمپنی کا کہنا ہے کہ اس نے مورچا منتقلی میں بار بار مشاہدہ کیا ہے۔

ایک غیر متوقع بونس تھا۔ چونکہ مورچا لائبریری تعمیر کے لحاظ سے میموری سے محفوظ ہے، گوگل وسائل سے بھرپور سینڈ باکسنگ کو ختم کرنے کے قابل تھا جس کی کچھ پروڈکشن سروسز کو پہلے سی لائبریری کو الگ کرنے کے لیے درکار تھی۔ اس آرکیٹیکچرل سادگی نے امیج ڈی کوڈنگ کے کاموں کے لیے ٹیل لیٹینسی میں نمایاں کمی کی۔

اوپن سورس - ایماندارانہ انتباہات کے ساتھ

گوگل نے رسٹ کو دوبارہ لکھنا github.com/google/giflib-rs پر شائع کیا ہے اور وہ اپنے نتائج کو کمیونٹی تک پہنچا رہا ہے۔ کمپنی تکمیلی انسانی قیادت کی کوششوں کا سہرا بھی دیتی ہے، جیسے کہ Trifecta Tech Foundation کی zlib in Rust کی دستی طور پر دوبارہ لکھنا کافی کارکردگی کے فوائد کے ساتھ، حل کے وسیع تر ماحولیاتی نظام کے حصے کے طور پر۔

انتباہات قابل توجہ ہیں۔ دوبارہ لکھنے کے لیے بڑی مقدار میں حقیقی دنیا کے ڈیٹا یا مضبوط موجودہ ٹیسٹ سویٹس کی ضرورت ہوتی ہے تاکہ رویے کی مساوات کی توثیق کی جا سکے، اور زبانوں کو تبدیل کر کے اپ اسٹریم پروجیکٹ سے انحراف کرنے سے بحالی کی حقیقی لاگت آتی ہے — خاص طور پر فعال ترقی کے تحت انحصار کے لیے۔ AI کی مدد سے ترجمہ، دوسرے لفظوں میں، تیز ہوتا ہے لیکن انجینئرنگ کے فیصلے کی جگہ نہیں لیتا۔

بڑی تصویر

پائلٹ ابھی تک کے سب سے واضح مظاہروں میں سے ایک ہے کہ LLMs صرف کوڈ کی تجاویز نہیں بلکہ پیمانے پر ساختی حفاظتی بہتری فراہم کر سکتے ہیں۔ ایل ایل ایم سے چلنے والی ترجمے کی رفتار کو تفریق ٹیسٹنگ اور حفاظتی حدود کے انسانی ماہرانہ جائزے کے ساتھ ملا کر، گوگل کا استدلال ہے، کمزوریوں کی پوری کلاسز کو پروڈکشن انفراسٹرکچر سے ریٹائر کیا جا سکتا ہے - اس سے پہلے کہ کسی کو معلوم ہو کہ کون سا مخصوص CVE آنے والا ہے۔

ماخذ: گوگل بگ ہنٹرز بلاگ، "اسکیلنگ میموری سیفٹی: AI-Assisted Rewrites of C/C++ Dependencies to Rust۔"

---

AI سے آگے رہیں

تازہ ترین AI خبریں، تجزیہ اور کامیابیاں حاصل کریں — سب ایک جگہ پر۔

مزید AI خبریں پڑھیں →