בלוג

Eurydice: קומפילציה של Rust ל-C קריא לתוכנות בטיחותיות

Eurydice, חלק מפרויקט Aeneas, ממיר קוד Rust לקוד מקור ב-C תוך שמירה על מבנה התוכנית. הוא מיועד לתוכנות בטיחותיות שבהן כלי אימות והתאמה דורשים C כקלט, ומספק מעבר חלק לסביבות שכבר תומכות ב-C.