يعمل مدقق الاستعارة في Valen بشكل عكسي عبر الدوال، وهو نهج جديد للتحقق من سلامة الذاكرة. وعلى عكس مدققات الاستعارة التقليدية ذات المسار الأمامي، مثل مدقق Rust، يمر Valen على عبارات الدالة من الأخيرة إلى الأولى أثناء مرحلة التحقق من السلامة.
يعالج المترجم الدوال عبر أربع مراحل: التحليل إلى شجرة AST، والتحديد الثابت للأنواع، والتجميع الثابت، وفحص السلامة. وفحص السلامة (رقم 4) هو المرور العكسي غير المعتاد، إذ يفحص العبارة الأخيرة أولًا ثم يتراجع نحو أعلى الدالة.
يوفر هذا النهج العكسي مزايا في سهولة الاستخدام ومعالجة الحلقات والسرعة. ولا يزال Valen تجريبيًا وقد تظهر فيه مشكلات حادة حتى الإصدار v0.1 المتوقع في فبراير، رغم أن جهود إعادة الهيكلة الكبيرة قد بدأت بالفعل.
تختلف هذه التقنية عن استنتاج المناطق القائم على حل القيود الذي تعتمد عليه Rust، والذي يتبعه فحص التعارضات بالترتيب الأمامي. ورغم أن rustc يمسح عكسيًا لإيجاد استخدامات المتغيرات، فإن فحوصات سلامة الذاكرة الفعلية لديه تسير للأمام.
المصدر: Hacker News · لخّصه HeadlinesBriefing