Image de couverture de livre

C2RustXW: Program-Structure-Aware C-to-Rust Translation via Program Analysis and LLM

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Yan, Yanyan, Feng, Yang, Liu, Jiangshan, Liu, Di, Liu, Zixi, Teng, Hao, Xu, Baowen
Format:	Preprint
Publié:	2026
Sujets:	Software Engineering
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

PanicFI: An Infrastructure for Fixing Panic Bugs in Real-World Rust Programs
par: Ni, Yunbo, et autres
Publié: (2024)

RustMap: Towards Project-Scale C-to-Rust Migration via Program Analysis and LLM
par: Cai, Xuemeng, et autres
Publié: (2025)

PALM: Synergizing Program Analysis and LLMs to Enhance Rust Unit Test Coverage
par: Chu, Bei, et autres
Publié: (2025)

Integrating Rules and Semantics for LLM-Based C-to-Rust Translation
par: Luo, Feng, et autres
Publié: (2025)

ClozeMaster: Fuzzing Rust Compiler by Harnessing LLMs for Infilling Masked Real Programs
par: Gao, Hongyan, et autres
Publié: (2026)

Dependency-Guided Repository-Level C-to-Rust Translation with Reinforcement Alignment
par: Feng, Jia, et autres
Publié: (2026)

Code Quality Analysis of Translations from C to Rust
par: Tadesse, Biruk, et autres
Publié: (2026)

Build-Aware Incremental C-to-Rust Migration via Skeleton-First Translation and Historical Knowledge Reuse
par: Wang, Shengbo, et autres
Publié: (2026)

RustRepoTrans: Repository-level Code Translation Benchmark Targeting Rust
par: Ou, Guangsheng, et autres
Publié: (2024)

SmartC2Rust: Iterative, Feedback-Driven C-to-Rust Translation via Large Language Models for Safety and Equivalence
par: Shiraishi, Momoko, et autres
Publié: (2024)

Static Deadlock Detection for Rust Programs
par: Zhang, Yu, et autres
Publié: (2024)

MISRust: Mapping MISRA-C++ Coding Guidelines to the Rust Programming Language
par: Molz, Marius, et autres
Publié: (2026)

EvoC2Rust: A Skeleton-guided Framework for Project-Level C-to-Rust Translation
par: Wang, Chaofan, et autres
Publié: (2025)

To Tag, or Not to Tag: Translating C's Unions to Rust's Tagged Unions
par: Hong, Jaemin, et autres
Publié: (2024)

C2SaferRust: Transforming C Projects into Safer Rust with NeuroSymbolic Techniques
par: Nitin, Vikram, et autres
Publié: (2025)

RustAssure: Differential Symbolic Testing for LLM-Transpiled C-to-Rust Code
par: Bai, Yubo, et autres
Publié: (2025)

Translating Large-Scale C Repositories to Idiomatic Rust
par: Dehghan, Saman, et autres
Publié: (2025)

Raw Pointer Rewriting with LLMs for Translating C to Safer Rust
par: Gao, Yifei, et autres
Publié: (2025)

Forcrat: Automatic I/O API Translation from C to Rust via Origin and Capability Analysis
par: Hong, Jaemin, et autres
Publié: (2025)

Project-Level C-to-Rust Translation via Pointer Knowledge Graphs
par: Yuan, Zhiqiang, et autres
Publié: (2025)

Mitigating False Positives in Static Memory Safety Analysis of Rust Programs via Reinforcement Learning
par: P, Akilesh, et autres
Publié: (2026)

RustEvo^2: An Evolving Benchmark for API Evolution in LLM-based Rust Code Generation
par: Liang, Linxi, et autres
Publié: (2025)

SafeTrans: LLM-assisted Transpilation from C to Rust
par: Farrukh, Muhammad, et autres
Publié: (2025)

Translating C To Rust: Lessons from a User Study
par: Li, Ruishi, et autres
Publié: (2024)

SACTOR: LLM-Driven Correct and Idiomatic C to Rust Translation with Static Analysis and FFI-Based Verification
par: Zhou, Tianyang, et autres
Publié: (2025)

AkiraRust: Re-thinking LLM-aided Rust Repair Using a Feedback-guided Thinking Switch
par: Jiang, Renshuang, et autres
Publié: (2026)

Towards a Transpiler for C/C++ to Safer Rust
par: Tripuramallu, Dhiren, et autres
Publié: (2024)

ORBIT: Guided Agentic Orchestration for Autonomous C-to-Rust Transpilation
par: Farrukh, Muhammad, et autres
Publié: (2026)

Documentation-Guided Agentic Codebase Migration from C to Rust
par: Le-Anh, Minh, et autres
Publié: (2026)

Towards Translating Real-World Code with LLMs: A Study of Translating to Rust
par: Eniser, Hasan Ferit, et autres
Publié: (2024)

Petri Nets-based Methods on Automatically Detecting for Concurrency Bugs in Rust Programs
par: Zhang, Kaiwen, et autres
Publié: (2022)

DebugHarness: Emulating Human Dynamic Debugging for Autonomous Program Repair
par: Sun, Maolin, et autres
Publié: (2026)

Fearless Unsafe. A More User-friendly Document for Unsafe Rust Programming Base on Refined Safety Properties
par: Cui, Mohan, et autres
Publié: (2024)

LLM4C2Rust: Large Language Models for Automated Memory-Safe Code Transpilation
par: Bedell, Sarah, et autres
Publié: (2026)

Search-Based Multi-Trajectory Refinement for Safe C-to-Rust Translation with Large Language Models
par: Sim, HoHyun, et autres
Publié: (2025)

Feedback Loops and Code Perturbations in LLM-based Software Engineering: A Case Study on a C-to-Rust Translation System
par: Weiss, Martin, et autres
Publié: (2025)

An Empirical Security Evaluation of LLM-Generated Cryptographic Rust Code
par: Elsayed, Mohamed, et autres
Publié: (2026)

Adversarial Agent Collaboration for Correctness Improvements of C to Safe Rust Translation
par: Li, Tianyu, et autres
Publié: (2025)

Unlocking a New Rust Programming Experience: Fast and Slow Thinking with LLMs to Conquer Undefined Behaviors
par: Jiang, Renshuang, et autres
Publié: (2025)

Automated Proof Generation for Rust Code via Self-Evolution
par: Chen, Tianyu, et autres
Publié: (2024)