ابزار جدیدی به نام اوریدیس برای تبدیل کدهای زبان برنامه‌نویسی راست به زبان خوانای سی توسعه یافته است. این پروژه که از سال ۲۰۲۳ آغاز شده، به عنوان بخشی از پروژه آینیاس توسط پژوهشگران مؤسسه اینریا فرانسه و مایکروسافت پشتیبانی می‌شود. هدف اصلی این ابزار فراهم کردن یک مسیر انتقالی هموار برای نرم‌افزارهای با امنیت بالا است که ابزارهای تطبیق و اعتبارسنجی آن‌ها همچنان بر پایه زبان سی کار می‌کنند. اوریدیس کدهای راست را به بازنمایی میانی تبدیل کرده و پس از اعمال تغییرات، خروجی ساختاریافته‌ای در زبان سی تولید می‌کند. این ابزار تاکنون برای کامپایل برخی روال‌های رمزنگاری پساکوانتومی با موفقیت مورد استفاده قرار گرفته است. توسعه‌دهندگان امیدوارند این راهکار به مدرن‌سازی سیستم‌های نرم‌افزاری قدیمی کمک شایانی کند.
