تطوّر ثوري: ترجمة آمنة من لغة سي إلى لغة روست
2024-12-21
طور الباحثون طريقة جديدة لترجمة شفرة لغة سي إلى لغة روست بأمان. تعتمد هذه التقنية على التحليل الثابت والترجمة الموجهة بالنوع لتجنب الاعتماد على كتل `unsafe` في روست، مما يضمن سلامة الذاكرة. تم تطبيق هذه الطريقة بنجاح على شفرة من مكتبة التشفير HACL* ومكتبات EverParse، مما أدى إلى إنشاء مكتبة تشفير حديثة مؤكدة من 80,000 سطر مكتوبة بلغة روست خالصة - وهي الأولى من نوعها.