TL;DR
- چکیده:.
- ما جایگزینی محصور شده و پالایش عاملی را بر روی داربست زنده برای ترجمه ایمن C-to-Rust ارائه می.
- کنیم،.
چه اتفاقی افتاد
چکیده:. ما جایگزینی محصور شده و پالایش عاملی را بر روی داربست زنده برای ترجمه ایمن C-to-Rust ارائه می.
کنیم،. خط لوله دو فازی برای ترجمه پروژههای C دنیای واقعی به Rust ایمن.
رویکردهای موجود یا خروجی ناامن بدون ضمانتهای ایمنی حافظه تولید میکنند یا توابع را به صورت مجزا ترجمه. میکنند،.
در تشخیص عدم تطابق نوع متقابل واحدها یا مدیریت ساختارهای ناامن که نیاز به استدلال کل برنامه دارند،. ناکام میمانند.
علاوه بر این،. خطوط لوله LLM در سطح عملکرد،.
زمانی که امضاهای نوع تغییر میکنند،. نیاز به به روز رسانی تماس گیرنده هماهنگ دارند،.
در حالی که سیستمهای مقیاس پروژه اغلب در تولید خروجی قابل کامپایل تحت پیچیدگی وابستگی در دنیای. واقعی شکست میخورند.
Encrust این محدودیتها را با جدا کردن انطباق مرزی از منطق تابع از طریق یک الگوی بستهبندی باینری. برنامه (ABI) که حفظ میکند و اعتبار هر حالت میانی در برابر پایگاه کد یکپارچه را برطرف میکند.
فاز 1 (جایگزینی محصور شده) هر تابع را با استفاده از یک پوشش محافظ ABI ترجمه میکند. که آن را به دو جزء تقسیم میکند:.
یک شیم شفاف تماس گیرنده که امضای اشاره گر خام اصلی را حفظ میکند،. و یک عملکرد داخلی ایمن که توسط LLM با یک اعلان تمیز و با محدوده محدود هدف قرار.
میگیرد. این امکان تغییر نوع مستقل در هر عملکرد را با بازگشت خودکار در صورت خرابی،.
بدون بهروزرسانی هماهنگ تماسگیرنده فراهم میکند. پس از ترجمه موفقیتآمیز، یک گذرنامه قطعی و جهتدار تایپ، لفافها را حذف میکند.
فاز 2 (تصفیه عاملی) ساختارهای ناامن را فراتر از محدوده عملکردی،. از جمله جهانیهای استاتیک mut،.
جفتهای بسته بندی نادیده گرفته شده،. و ترجمههای ناموفق،.
با استفاده از یک عامل LLM که بر روی کل پایگاه کد تحت یک گیت راستیآزمایی آگاه از. مبنا کار میکند،.
حل میکند. ما Encrust را بر روی 7 برنامه GNU Coreutils و 8 کتابخانه از معیار Laertes ارزیابی میکنیم که.
کاهش قابل توجهی در ساختار ناامن نشان میدهد. در تمام 15 برنامه با حفظ صحت کامل آزمون-بردار.
مهندسی نرم افزار (cs. SE); هوش مصنوعی (cs.
AI)؛ زبانهای برنامهنویسی (cs. PL) استناد بهعنوان: (یا v1 [cs.
SE] برای این نسخه) https:. // شده توسط arXiv از طریق DataCite (در انتظار ثبت نام) تاریخچه ارسال از:.
Hyeonjoong Cho [مشاهده ایمیل] [v1] دوشنبه،. 6 آوریل 2026،.
08:. 46:.
14 UTC (226 KB).
چرا مهم است
اهمیت این خبر در این است که روی استفاده واقعی از AI و تصمیمگیری سازمانی اثر میگذارد.
منبع
لینک منبع اصلی در کارت و صفحه مقاله نمایش داده میشود.