2025-11-14T08:10:11.695880

Project-Level C-to-Rust Translation via Synergistic Integration of Knowledge Graphs and Large Language Models

Yuan, Mao, Chen et al.

Translating C code into safe Rust is an effective way to ensure its memory safety. Compared to rule-based translation which produces Rust code that remains largely unsafe, LLM-based methods can generate more idiomatic and safer Rust code because LLMs have been trained on vast amount of human-written idiomatic code. Although promising, existing LLM-based methods still struggle with project-level C-to-Rust translation. They typically partition a C project into smaller units (\eg{} functions) based on call graphs and translate them bottom-up to resolve program dependencies. However, this bottom-up, unit-by-unit paradigm often fails to translate pointers due to the lack of a global perspective on their usage. To address this problem, we propose a novel C-Rust Pointer Knowledge Graph (KG) that enriches a code-dependency graph with two types of pointer semantics: (i) pointer-usage information which record global behaviors such as points-to flows and map lower-level struct usage to higher-level units; and (ii) Rust-oriented annotations which encode ownership, mutability, nullability, and lifetime. Synthesizing the \kg{} with LLMs, we further propose \ourtool{}, which implements a project-level C-to-Rust translation technique. In \ourtool{}, the \kg{} provides LLMs with comprehensive pointer semantics from a global perspective, thus guiding LLMs towards generating safe and idiomatic Rust code from a given C project. Our experiments show that \ourtool{} reduces unsafe usages in translated Rust by 99.9\% compared to both rule-based translation and traditional LLM-based rewriting, while achieving an average 29.3\% higher functional correctness than those fuzzing-enhanced LLM methods.

academic

জ্ঞান গ্রাফ এবং বৃহৎ ভাষা মডেলের সমন্বিত একীকরণের মাধ্যমে প্রকল্প-স্তরের C থেকে Rust অনুবাদ

মৌলিক তথ্য

পেপার আইডি: 2510.10956
শিরোনাম: Project-Level C-to-Rust Translation via Synergistic Integration of Knowledge Graphs and Large Language Models
লেখক: Zhiqiang Yuan, Wenjun Mao, Zhuo Chen, Xiyue Shang, Chong Wang, Yiling Lou, Xin Peng
শ্রেণীবিভাগ: cs.SE (সফটওয়্যার ইঞ্জিনিয়ারিং), cs.AI (কৃত্রিম বুদ্ধিমত্তা)
প্রকাশনার সময়: ২০২৫ সালের ১৩ অক্টোবর
পেপার লিঙ্ক: https://arxiv.org/abs/2510.10956

সারসংক্ষেপ

C কোড থেকে নিরাপদ Rust কোডে অনুবাদ করা স্মৃতি নিরাপত্তা নিশ্চিত করার একটি কার্যকর পদ্ধতি। বৃহৎ পরিমাণ অনিরাপদ কোড উৎপাদনকারী নিয়ম-ভিত্তিক অনুবাদ পদ্ধতির তুলনায়, বৃহৎ ভাষা মডেল (LLM) ভিত্তিক পদ্ধতি আরও প্রাকৃতিক এবং নিরাপদ Rust কোড তৈরি করতে পারে। তবে, বিদ্যমান LLM পদ্ধতিগুলি প্রকল্প-স্তরের C থেকে Rust অনুবাদে এখনও কঠিনতার সম্মুখীন, বিশেষত পয়েন্টার পরিচালনায় বৈশ্বিক দৃষ্টিভঙ্গির অভাব। এই সমস্যা সমাধানের জন্য, এই পত্রটি একটি উপন্যাস C-Rust পয়েন্টার জ্ঞান গ্রাফ (KG) প্রস্তাব করে, যা কোড নির্ভরতা গ্রাফকে দুটি পয়েন্টার শব্দার্থ দিয়ে সমৃদ্ধ করে: (1) বৈশ্বিক আচরণ রেকর্ড করা পয়েন্টার ব্যবহারের তথ্য; (2) মালিকানা, পরিবর্তনযোগ্যতা, শূন্যতা এবং জীবনকাল এনকোড করা Rust-ভিত্তিক মন্তব্য। এই জ্ঞান গ্রাফের উপর ভিত্তি করে, PTRMAPPER প্রযুক্তি প্রস্তাব করা হয়েছে, যা প্রকল্প-স্তরের C থেকে Rust অনুবাদ বাস্তবায়ন করে। পরীক্ষা-নিরীক্ষা দেখায় যে PTRMAPPER নিয়ম-ভিত্তিক এবং ঐতিহ্যবাহী LLM পদ্ধতির তুলনায় ৯৯.৯% অনিরাপদ কোড ব্যবহার হ্রাস করে এবং কার্যকরী সঠিকতায় গড়ে ২৯.৩% উন্নতি করে।

গবেষণা পটভূমি এবং প্রেরণা

১. সমস্যা সংজ্ঞা

C ভাষা অপারেটিং সিস্টেম, এম্বেডেড সিস্টেম এবং কর্মক্ষমতা-গুরুত্বপূর্ণ অ্যাপ্লিকেশনে ব্যাপকভাবে ব্যবহৃত হয়, কিন্তু এর ম্যানুয়াল স্মৃতি ব্যবস্থাপনা এবং সরাসরি পয়েন্টার অপারেশন প্রায়শই বাফার ওভারফ্লো, স্মৃতি ফাঁস এবং অন্যান্য নিরাপত্তা দুর্বলতার কারণ হয়। Rust একটি আধুনিক বিকল্প হিসাবে, C ভাষার কর্মক্ষমতা বজায় রেখে স্মৃতি নিরাপত্তা নিশ্চিত করে। অতএব, উত্তরাধিকার C কোডকে স্বয়ংক্রিয়ভাবে Rust-এ অনুবাদ করা একটি জরুরি প্রয়োজন।

২. বিদ্যমান পদ্ধতির সীমাবদ্ধতা

নিয়ম-ভিত্তিক পদ্ধতি: পূর্বনির্ধারিত নিয়মের উপর নির্ভর করে, উৎপাদিত Rust কোড ব্যাপকভাবে unsafe ব্লক, কাঁচা পয়েন্টার এবং বাহ্যিক ফাংশন কল ব্যবহার করে, এখনও নিরাপত্তা ঝুঁকি রয়েছে
বিদ্যমান LLM পদ্ধতি: নিম্ন-থেকে-উপরের দিকে একক ইউনিট অনুবাদ প্যারাডাইম গ্রহণ করে, বৈশ্বিক পয়েন্টার ব্যবহারের দৃষ্টিভঙ্গির অভাব, পয়েন্টার অনুবাদে সংজ্ঞা-ব্যবহার দ্বন্দ্ব প্রায়শই ঘটে

৩. মূল চ্যালেঞ্জ

C এবং Rust পয়েন্টার ব্যবহারে মৌলিক পার্থক্য রয়েছে:

C ভাষা: পয়েন্টার অত্যন্ত নমনীয়, সংজ্ঞায়নের সময় শুধুমাত্র প্রকার নির্দিষ্ট করে, ব্যবহারের সময় স্বাধীনভাবে পড়া-লেখা-সংশোধন করতে পারে
Rust ভাষা: পয়েন্টার ব্যবহার কঠোরভাবে সীমাবদ্ধ, সংজ্ঞায়নের সময় অবশ্যই মালিকানা, পরিবর্তনযোগ্যতা এবং জীবনকাল স্পষ্টভাবে নির্দিষ্ট করতে হবে, ব্যবহারের সময় অবশ্যই ধার পরীক্ষক নিয়ম কঠোরভাবে মেনে চলতে হবে

মূল অবদান

১. উপন্যাস C-Rust পয়েন্টার জ্ঞান গ্রাফ প্রস্তাব: প্রকল্প-স্তরের প্রসঙ্গ থেকে কোড ইউনিট নির্ভরতা, পয়েন্টার ব্যবহারের তথ্য এবং Rust-ভিত্তিক মন্তব্য সম্পূর্ণভাবে মডেল করতে পারে ২. PTRMAPPER প্রকল্প-স্তরের অনুবাদ প্রযুক্তি ডিজাইন: C-Rust পয়েন্টার KG এবং LLM সহযোগিতা ব্যবহার করে C প্রকল্পকে নিরাপদ প্রাকৃতিক Rust কোডে অনুবাদ করে ३. উল্লেখযোগ্য কর্মক্ষমতা উন্নতি বাস্তবায়ন: আরও প্রাকৃতিক, নিরাপদ এবং সঠিক Rust কোড তৈরি করে ४. ব্যাপক পরীক্ষা-নিরীক্ষা যাচাইকরণ প্রদান: বিলোপন পরীক্ষা-নিরীক্ষা পয়েন্টার ব্যবহারের তথ্য এবং Rust-ভিত্তিক মন্তব্যের অনুবাদ কর্মক্ষমতা উন্নত করার গুরুত্ব প্রমাণ করে

পদ্ধতি বিস্তারিত

কাজের সংজ্ঞা

একটি C প্রকল্প দেওয়া হলে, এটিকে স্বয়ংক্রিয়ভাবে কার্যকরভাবে সমতুল্য, স্মৃতি-নিরাপদ এবং প্রাকৃতিক Rust প্রকল্পে অনুবাদ করুন। ইনপুট হল C উৎস কোড ফাইলের সংগ্রহ, আউটপুট হল সংকলনযোগ্য এবং চালনাযোগ্য Rust প্রকল্প।

মডেল আর্কিটেকচার

PTRMAPPER তিনটি প্রধান পর্যায় নিয়ে গঠিত:

১. C-Rust পয়েন্টার জ্ঞান গ্রাফ নির্মাণ

জ্ঞান গ্রাফ স্কিমা ডিজাইন:

কোড নির্ভরতা গ্রাফ: কোড ইউনিট (ফাংশন, কাঠামো, গণনা ইত্যাদি) মধ্যে নির্ভরতা সম্পর্ক বর্ণনা করে
পয়েন্টার ব্যবহারের তথ্য: প্রকল্প-স্তরের পয়েন্টার আচরণ ক্যাপচার করে, যার মধ্যে রয়েছে:
- সত্তা: Param (প্যারামিটার), Value (রিটার্ন মান), Member (সদস্য), Pointer (পয়েন্টার) ইত্যাদি
- সম্পর্ক: derivesFrom (উদ্ভূত সম্পর্ক), mayAlias/noAlias (উপনাম সম্পর্ক), pointsTo (নির্দেশ সম্পর্ক) ইত্যাদি
Rust-ভিত্তিক মন্তব্য: মালিকানা, পরিবর্তনযোগ্যতা, শূন্যতা, জীবনকাল ইত্যাদি শব্দার্থ ধারণ করে

নির্মাণ প্রক্রিয়া: १. কোড নির্ভরতা গ্রাফ নিষ্কাশন: স্থির বিশ্লেষণ ব্যবহার করে কোড ইউনিট এবং তাদের নির্ভরতা সম্পর্ক নিষ্কাশন করে २. পয়েন্টার ব্যবহারের তথ্য নিষ্কাশন: প্রসঙ্গ-সংবেদনশীল, ক্ষেত্র-সংবেদনশীল বিশ্লেষণ কৌশল গ্রহণ করে ३. Rust-ভিত্তিক মন্তব্য নিষ্কাশন: পয়েন্টার জীবনকাল বিশ্লেষণ করে এবং সংশ্লিষ্ট শব্দার্থ মন্তব্য করে

२. KG-নির্দেশিত কোড অনুবাদ

অনুবাদ ইউনিট সনাক্তকরণ এবং সাজানো:

Tarjan অ্যালগরিদম ব্যবহার করে দৃঢ়ভাবে সংযুক্ত উপাদান (SCC) সনাক্ত করে
প্রতিটি SCC কে স্বাধীন অনুবাদ ইউনিট হিসাবে বিবেচনা করে
টপোলজিক্যাল সাজানো নিম্ন-থেকে-উপরের দিকে অনুবাদ ক্রম নির্ধারণ করে

পয়েন্টার শব্দার্থ নিষ্কাশন: প্রতিটি অনুবাদ ইউনিটের জন্য KG থেকে সংশ্লিষ্ট পয়েন্টার শব্দার্থ জ্ঞান নিষ্কাশন করে, <সত্তা১, সম্পর্ক, সত্তা२> ত্রিগুণ আকারে LLM-কে প্রদান করে।

বর্ধনশীল অনুবাদ এবং যাচাইকরণ:

অনুবাদ ইউনিট, পয়েন্টার শব্দার্থ জ্ঞান এবং ইতিমধ্যে অনুবাদিত Rust প্রসঙ্গ অনুবাদ প্রম্পটে একীভূত করে
প্রতিটি অনুবাদ ইউনিট তৈরির পরে অবিলম্বে Rust প্রকল্পে একীভূত করে এবং সংকলন যাচাই করে
ত্রুটি দেখা দিলে ত্রুটি সংশোধন প্রক্রিয়া চালু করে

३. KG-নির্দেশিত ত্রুটি সংশোধন

Rust সংস্করণের পয়েন্টার KG ব্যবহার করে LLM-কে প্রকল্প-স্তরের শব্দার্থ প্রসঙ্গ প্রদান করে:

নির্ভরতা সম্পর্ক ত্রুটি-সম্পর্কিত কোড ইউনিট সঠিকভাবে সনাক্ত করতে সাহায্য করে
Rust-ভিত্তিক মন্তব্য কার্যকর সংশোধনের জন্য সঠিক প্রোগ্রাম শব্দার্থ নির্দেশনা প্রদান করে

প্রযুক্তিগত উদ্ভাবন পয়েন্ট

१. বৈশ্বিক পয়েন্টার শব্দার্থ মডেলিং: প্রথমবারের মতো প্রকল্প-স্তরের পয়েন্টার ব্যবহারের তথ্য এবং Rust-নির্দিষ্ট শব্দার্থ জ্ঞান গ্রাফে একীভূত করে २. সহযোগিতামূলক অনুবাদ প্যারাডাইম: জ্ঞান গ্রাফের বৈশ্বিক দৃষ্টিভঙ্গি এবং LLM-এর উৎপাদন ক্ষমতা একত্রিত করে ३. বর্ধনশীল যাচাইকরণ প্রক্রিয়া: সময়মতো ত্রুটি সনাক্ত এবং সংশোধন করে, ত্রুটি সঞ্চয় প্রতিরোধ করে ४. বুদ্ধিমান ত্রুটি সংশোধন: KG-এর শব্দার্থ তথ্যের উপর ভিত্তি করে, শুধুমাত্র সংকলক ত্রুটি তথ্যের উপর নির্ভর করে না

পরীক্ষা-নিরীক্ষা সেটআপ

ডেটাসেট

CROWN ডেটাসেট থেকে ১६টি বাস্তব C প্রকল্প ব্যবহার করে, কোড লাইন সংখ্যা १५४ থেকে १४,८२९ পর্যন্ত, যার মধ্যে রয়েছে:

avl, buffer, genann, quadtree, rgba, urlparser ইত্যাদি ছোট প্রকল্প
bzip2, heman, lodepng ইত্যাদি বড় প্রকল্প

কার্যকরী সমতুল্যতা মূল্যায়নের জন্য, ম্যানুয়ালি ইউনিট পরীক্ষা তৈরি করা হয়েছে, ८१.४%-९७.७% লাইন কভারেজ এবং ९२.९%-१००.०% ফাংশন কভারেজ অর্জন করেছে।

মূল্যায়ন সূচক

প্রাকৃতিকতা মূল্যায়ন:

Lint Alert Count: Rust-Clippy ব্যবহার করে অপ্রাকৃতিক কোড সতর্কতা সংখ্যা গণনা করে
Unsafe Usage Count: Cargo-geiger ব্যবহার করে unsafe কোড ব্যবহার সংখ্যা গণনা করে

সঠিকতা মূল্যায়ন:

Compiled: সফলভাবে সংকলিত ফাংশনের অনুপাত
Equiv.: ইউনিট পরীক্ষা পাস করা ফাংশনের অনুপাত

তুলনা পদ্ধতি

প্রাকৃতিকতা তুলনা: CROWN (নিয়ম-ভিত্তিক), PR2 (LLM পুনর্লেখন)
সঠিকতা তুলনা: FLOURINE (ফাজি পরীক্ষা-বর্ধিত LLM পদ্ধতি)
বিলোপন পরীক্ষা-নিরীক্ষা: PTRTRANSPS, PTRTRANSPU, PTRTRANSRA, PTRTRANSEC ইত্যাদি ভেরিয়েন্ট

বাস্তবায়ন বিবরণ

LLM: ChatGPT-4o, temperature=0
স্থির বিশ্লেষণ: Clang, Doxygen, SVF ফ্রেমওয়ার্ক
ত্রুটি সংশোধন: সর্বোচ্চ ५ পুনরাবৃত্তি
সংকলন যাচাইকরণ: cargo check

পরীক্ষা-নিরীক্ষা ফলাফল

প্রধান ফলাফল

প্রাকৃতিকতা উল্লেখযোগ্যভাবে উন্নত:

CROWN এর তুলনায়: Lint সতর্কতা ९४.९% হ্রাস (६,८०२→३४९), unsafe ব্যবহার ९९.९% হ্রাস (१४१,८६६→८५)
PR2 এর তুলনায়: Lint সতর্কতা ९१.८% হ্রাস (४,२७२→३४९), unsafe ব্যবহার ९९.९% হ্রাস (१३४,१८५→८५)

সঠিকতা ব্যাপকভাবে উন্নত:

FLOURINE এর তুলনায়: সংকলন সাফল্যের হার २८.४% বৃদ্ধি (९८.३% বনাম ६९.९%), কার্যকরী সমতুল্যতার হার २९.३% বৃদ্ধি (८१.६% বনাম ५२.३%)
ছোট প্রকল্প (avl, rgba, ht, bst) १००% কার্যকরী সমতুল্যতা অর্জন করে

বিলোপন পরীক্ষা-নিরীক্ষা

বিলোপন পরীক্ষা-নিরীক্ষা প্রতিটি উপাদানের গুরুত্ব যাচাই করে:

পয়েন্টার শব্দার্থ ছাড়া (PTRTRANSPS): সমতুল্যতার হার ८१.६% থেকে ५९.५% হ্রাস, २२.१% হ্রাস
শুধুমাত্র পয়েন্টার ব্যবহারের তথ্য (PTRTRANSRA): সম্পূর্ণ সংস্করণের চেয়ে কর্মক্ষমতা কম
শুধুমাত্র Rust মন্তব্য (PTRTRANSPU): একইভাবে কর্মক্ষমতা হ্রাস
ত্রুটি সংশোধন ছাড়া (PTRTRANSEC): সমতুল্যতার হার ८१.६% থেকে ५०.८% হ্রাস, ३०.८% হ্রাস

কর্মক্ষমতা বিতরণ বিশ্লেষণ

PTRMAPPER বিভিন্ন জটিলতায় স্থিতিশীল কর্মক্ষমতা প্রদর্শন করে:

কোড লাইন সংখ্যা: জটিলতা বৃদ্ধির সাথে সাথে কর্মক্ষমতা স্থিতিশীল, FLOURINE তীব্রভাবে হ্রাস পায়
নির্ভরতা সম্পর্ক: নির্ভরতা সংখ্যা [१६,४४) থাকলে সমতুল্যতার হার ५७.१%, FLOURINE ०%
পয়েন্টার সংখ্যা: পয়েন্টার সংখ্যা [२०,५०) থাকলে সমতুল্যতার হার ५०.०%, FLOURINE ०%

কেস বিশ্লেষণ

Quadtree প্রকল্পের উদাহরণ দিয়ে, PTRMAPPER কীভাবে জটিল ধার দ্বন্দ্ব সমাধান করে তা প্রদর্শন করে: १. tree প্যারামিটার অপরিবর্তনীয় ধার &Quadtree হওয়া উচিত তা সনাক্ত করে २. root কে পরিবর্তনীয় ধার &mut QuadtreeNode হিসাবে আলাদা করে ३. ধার দ্বন্দ্ব এড়াতে key_free কে স্বাধীন প্যারামিটার হিসাবে নিষ্কাশন করে ४. সমস্ত মালিকানা শব্দার্থ সঠিকভাবে পরিচালনা করে

উপসংহার এবং আলোচনা

প্রধান উপসংহার

१. C-Rust পয়েন্টার জ্ঞান গ্রাফ প্রকল্প-স্তরের অনুবাদে পয়েন্টার শব্দার্থ হারানোর সমস্যা কার্যকরভাবে সমাধান করে २. স্থির বিশ্লেষণ এবং LLM সহযোগিতা একীকরণ অনুবাদ গুণমান উল্লেখযোগ্যভাবে উন্নত করে ३. বর্ধনশীল যাচাইকরণ এবং বুদ্ধিমান ত্রুটি সংশোধন প্রক্রিয়া অনুবাদ নির্ভরযোগ্যতা নিশ্চিত করে

সীমাবদ্ধতা

१. নির্মাণ খরচ: জ্ঞান গ্রাফ নির্মাণের জন্য অতিরিক্ত স্থির বিশ্লেষণ সময় প্রয়োজন २. নিয়ম নির্ভরতা: Rust মন্তব্য নিষ্কাশন পূর্বনির্ধারিত নিয়মের উপর নির্ভর করে, সম্ভবত সম্পূর্ণ কভারেজ নেই ३. প্রকল্প স্কেল: অতি বড় প্রকল্পের স্কেলেবিলিটি আরও যাচাইকরণের অপেক্ষায় ४. ম্যানুয়াল হস্তক্ষেপ: জটিল পরিস্থিতিতে এখনও সামান্য ম্যানুয়াল সমন্বয় প্রয়োজন হতে পারে

ভবিষ্যত দিকনির্দেশনা

१. জ্ঞান গ্রাফ নির্মাণ দক্ষতা অপ্টিমাইজ করা २. আরও বেশি প্রোগ্রামিং ভাষা জোড়ায় প্রসারিত করা ३. আরও বেশি প্রোগ্রাম বিশ্লেষণ কৌশল একীভূত করা ४. স্বয়ংক্রিয়তার ডিগ্রি উন্নত করা

গভীর মূল্যায়ন

সুবিধা

१. শক্তিশালী উদ্ভাবনী: প্রথমবারের মতো জ্ঞান গ্রাফ এবং LLM কোড অনুবাদে একত্রিত করে, বিদ্যমান পদ্ধতির মূল সমস্যা সমাধান করে २. পদ্ধতি সিস্টেমেটিক: সমস্যা বিশ্লেষণ থেকে সমাধান ডিজাইন পর্যন্ত সম্পূর্ণ, প্রযুক্তিগত রুট স্পষ্ট ३. পরীক্ষা-নিরীক্ষা ব্যাপক: १६টি বাস্তব প্রকল্প, একাধিক তুলনা পদ্ধতি, বিস্তারিত বিলোপন পরীক্ষা-নিরীক্ষা ४. প্রভাব উল্লেখযোগ্য: নিরাপত্তা, প্রাকৃতিকতা, সঠিকতা তিনটি মাত্রায় উল্লেখযোগ্য উন্নতি ५. ব্যবহারিক মূল্য উচ্চ: বাস্তব প্রকৌশল সমস্যা সমাধান করে, শক্তিশালী প্রয়োগের সম্ভাবনা রয়েছে

অপূর্ণতা

१. স্কেলেবিলিটি সমস্যা: স্থির বিশ্লেষণের গণনামূলক জটিলতা অতি বড় প্রকল্পে প্রয়োগ সীমাবদ্ধ করতে পারে २. নিয়ম সম্পূর্ণতা: Rust মন্তব্য নিষ্কাশন নিয়ম সমস্ত সীমান্ত ক্ষেত্রে কভার করতে পারে না ३. মূল্যায়ন সীমাবদ্ধতা: প্রধানত মাঝারি-ছোট প্রকল্পে যাচাইকৃত, বড় প্রকল্পের কর্মক্ষমতা আরও যাচাইকরণের অপেক্ষায় ४. নির্ভরতা গুণমান: পদ্ধতির প্রভাব বড় পরিমাণে স্থির বিশ্লেষণের নির্ভুলতার উপর নির্ভর করে

প্রভাব

१. একাডেমিক অবদান: কোড অনুবাদ ক্ষেত্রে নতুন গবেষণা প্যারাডাইম প্রদান করে, প্রোগ্রাম বিশ্লেষণ এবং উৎপাদনশীল AI একত্রিত করে २. প্রকৌশল মূল্য: C থেকে Rust স্থানান্তরের জন্য ব্যবহারিক সরঞ্জাম প্রদান করে, সফটওয়্যার নিরাপত্তা উন্নত করতে সহায়তা করে ३. প্রযুক্তিগত অনুপ্রেরণা: জ্ঞান গ্রাফ-নির্দেশিত LLM চিন্তাভাবনা অন্যান্য কোড উৎপাদন কাজে প্রসারিত করা যায়

প্রযোজ্য দৃশ্যকল্প

१. উত্তরাধিকার সিস্টেম স্থানান্তর: C কোড লাইব্রেরি Rust-এ স্থানান্তরের প্রয়োজনীয় প্রকল্পের জন্য উপযুক্ত २. নিরাপত্তা-গুরুত্বপূর্ণ অ্যাপ্লিকেশন: স্মৃতি নিরাপত্তার উচ্চ প্রয়োজনীয়তা সহ সিস্টেম উন্নয়ন ३. স্বয়ংক্রিয়করণ সরঞ্জাম: IDE বা CI/CD পাইপলাইনে একীভূত করা যায় ४. শিক্ষা প্রশিক্ষণ: ডেভেলপারদের Rust স্মৃতি নিরাপত্তা ধারণা শিখতে সাহায্য করে

সংদর্ভ

পত্রটি কোড অনুবাদ, প্রোগ্রাম বিশ্লেষণ, বৃহৎ ভাষা মডেল ইত্যাদি একাধিক ক্ষেত্রের গুরুত্বপূর্ণ কাজ কভার করে ७६টি সম্পর্কিত সংদর্ভ উদ্ধৃত করে, গবেষণার জন্য দৃঢ় তাত্ত্বিক ভিত্তি প্রদান করে।

সামগ্রিক মূল্যায়ন: এটি একটি উচ্চ-মানের সফটওয়্যার প্রকৌশল গবেষণা পত্র, যা সৃজনশীলভাবে জ্ঞান গ্রাফ এবং বৃহৎ ভাষা মডেল একত্রিত করে C থেকে Rust অনুবাদে মূল সমস্যা সমাধান করে। পদ্ধতি ডিজাইন যুক্তিসঙ্গত, পরীক্ষা-নিরীক্ষা যাচাইকরণ ব্যাপক, ফলাফল প্রভাবশালী। যদিও কিছু সীমাবদ্ধতা রয়েছে, তবে এটি কোড অনুবাদ ক্ষেত্রে নতুন গবেষণা দিকনির্দেশনা উন্মোচন করে, উল্লেখযোগ্য একাডেমিক মূল্য এবং ব্যবহারিক তাৎপর্য রয়েছে।