Valen-এর বরো চেকার ফাংশনের ভেতর দিয়ে বিপরীত দিকে কাজ করে, যা মেমরি নিরাপত্তা পরীক্ষার একটি নতুন পদ্ধতি। Rust-এর মতো প্রচলিত সামনের দিকে চলা বরো চেকারের বিপরীতে, Valen নিরাপত্তা পরীক্ষার পর্যায়ে ফাংশনের স্টেটমেন্টগুলো শেষ থেকে শুরুর দিকে অতিক্রম করে।
কম্পাইলার ফাংশনগুলো চারটি পর্যায়ে প্রক্রিয়া করে: AST-তে পার্সিং, স্ট্যাটিক টাইপিং, স্ট্যাটিক গ্রুপিং এবং নিরাপত্তা পরীক্ষা। নিরাপত্তা পরীক্ষা (#4) হলো এই অস্বাভাবিক বিপরীত পর্যায়, যেখানে প্রথমে শেষ স্টেটমেন্টটি পরীক্ষা করা হয় এবং তারপর ফাংশনের শীর্ষ পর্যন্ত পেছনের দিকে এগোনো হয়।
এই বিপরীত পদ্ধতিতে সুবিধা, লুপ পরিচালনা এবং গতির দিক থেকে উপকার পাওয়া যায়। Valen এখনো পরীক্ষামূলক পর্যায়ে আছে এবং ফেব্রুয়ারিতে v0.1 প্রকাশের আগ পর্যন্ত কিছু খুঁত থাকার আশঙ্কা আছে, যদিও একটি বড় রিফ্যাক্টরিং প্রচেষ্টা ইতোমধ্যে চলছে।
এই কৌশলটি Rust-এর constraint-solve ভিত্তিক রিজন ইনফারেন্সের চেয়ে আলাদা, যেখানে এর পরে সামনের দিকে সংঘাত পরীক্ষা করা হয়। rustc যদিও ভেরিয়েবলের ব্যবহার খুঁজতে পেছনের দিকে স্ক্যান করে, তবে এর প্রকৃত মেমরি নিরাপত্তা পরীক্ষা সামনের দিকে এগোয়।
উৎস: Hacker News · সারাংশ: HeadlinesBriefing