Valen का बॉरो चेकर फ़ंक्शनों पर उल्टे क्रम में काम करता है, जो मेमोरी सुरक्षा जाँच का एक नया तरीका है। Rust जैसे पारंपरिक आगे-की-ओर चलने वाले बॉरो चेकर के विपरीत, Valen सुरक्षा-जाँच चरण के दौरान फ़ंक्शन के स्टेटमेंट को अंतिम से पहले की ओर चलाता है।
कंपाइलर फ़ंक्शनों को चार चरणों में संसाधित करता है: AST में पार्सिंग, स्टैटिक टाइपिंग, स्टैटिक ग्रुपिंग और सुरक्षा जाँच। सुरक्षा जाँच (#4) असामान्य रिवर्स पास है, जो पहले अंतिम स्टेटमेंट की जाँच करता है और फ़ंक्शन के शीर्ष तक पीछे की ओर बढ़ता है।
इस रिवर्स तरीके से सुविधा, लूप हैंडलिंग और गति में लाभ मिलते हैं। Valen अभी प्रायोगिक चरण में है और फरवरी में v0.1 आने तक कुछ कमियों की उम्मीद है, हालाँकि एक बड़ा रीफैक्टरिंग प्रयास पहले से चल रहा है।
यह तकनीक Rust की उस पद्धति से अलग है जिसमें पहले बाधा-समाधान पर आधारित रीजन इन्फरेंस होता है और फिर आगे की ओर टकराव जाँच होती है। rustc भी वेरिएबल के उपयोग खोजने के लिए पीछे की ओर स्कैन करता है, लेकिन उसकी वास्तविक मेमोरी सुरक्षा जाँच आगे की ओर चलती है।
स्रोत: Hacker News · HeadlinesBriefing द्वारा सारांशित