Copertina

C2SaferRust: Transforming C Projects into Safer Rust with NeuroSymbolic Techniques

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Nitin, Vikram, Krishna, Rahul, Valle, Luiz Lemos do, Ray, Baishakhi
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Yuga: Automatically Detecting Lifetime Annotation Bugs in the Rust Language
di: Nitin, Vikram, et al.
Pubblicazione: (2023)

Code Quality Analysis of Translations from C to Rust
di: Tadesse, Biruk, et al.
Pubblicazione: (2026)

Towards a Transpiler for C/C++ to Safer Rust
di: Tripuramallu, Dhiren, et al.
Pubblicazione: (2024)

SpecTra: Enhancing the Code Translation Ability of Language Models by Generating Multi-Modal Specifications
di: Nitin, Vikram, et al.
Pubblicazione: (2024)

Raw Pointer Rewriting with LLMs for Translating C to Safer Rust
di: Gao, Yifei, et al.
Pubblicazione: (2025)

RustAssure: Differential Symbolic Testing for LLM-Transpiled C-to-Rust Code
di: Bai, Yubo, et al.
Pubblicazione: (2025)

RustMap: Towards Project-Scale C-to-Rust Migration via Program Analysis and LLM
di: Cai, Xuemeng, et al.
Pubblicazione: (2025)

EvoC2Rust: A Skeleton-guided Framework for Project-Level C-to-Rust Translation
di: Wang, Chaofan, et al.
Pubblicazione: (2025)

FaultLine: Automated Proof-of-Vulnerability Generation Using LLM Agents
di: Nitin, Vikram, et al.
Pubblicazione: (2025)

C2RustXW: Program-Structure-Aware C-to-Rust Translation via Program Analysis and LLM
di: Yan, Yanyan, et al.
Pubblicazione: (2026)

SmartC2Rust: Iterative, Feedback-Driven C-to-Rust Translation via Large Language Models for Safety and Equivalence
di: Shiraishi, Momoko, et al.
Pubblicazione: (2024)

Project-Level C-to-Rust Translation via Pointer Knowledge Graphs
di: Yuan, Zhiqiang, et al.
Pubblicazione: (2025)

Integrating Rules and Semantics for LLM-Based C-to-Rust Translation
di: Luo, Feng, et al.
Pubblicazione: (2025)

ORBIT: Guided Agentic Orchestration for Autonomous C-to-Rust Transpilation
di: Farrukh, Muhammad, et al.
Pubblicazione: (2026)

To Tag, or Not to Tag: Translating C's Unions to Rust's Tagged Unions
di: Hong, Jaemin, et al.
Pubblicazione: (2024)

Documentation-Guided Agentic Codebase Migration from C to Rust
di: Le-Anh, Minh, et al.
Pubblicazione: (2026)

RustRepoTrans: Repository-level Code Translation Benchmark Targeting Rust
di: Ou, Guangsheng, et al.
Pubblicazione: (2024)

MISRust: Mapping MISRA-C++ Coding Guidelines to the Rust Programming Language
di: Molz, Marius, et al.
Pubblicazione: (2026)

Dependency-Guided Repository-Level C-to-Rust Translation with Reinforcement Alignment
di: Feng, Jia, et al.
Pubblicazione: (2026)

Translating Large-Scale C Repositories to Idiomatic Rust
di: Dehghan, Saman, et al.
Pubblicazione: (2025)

SafeTrans: LLM-assisted Transpilation from C to Rust
di: Farrukh, Muhammad, et al.
Pubblicazione: (2025)

A Preliminary Study of Fixed Flaky Tests in Rust Projects on GitHub
di: Schroeder, Tom, et al.
Pubblicazione: (2025)

RustEvo^2: An Evolving Benchmark for API Evolution in LLM-based Rust Code Generation
di: Liang, Linxi, et al.
Pubblicazione: (2025)

AkiraRust: Re-thinking LLM-aided Rust Repair Using a Feedback-guided Thinking Switch
di: Jiang, Renshuang, et al.
Pubblicazione: (2026)

LLM4C2Rust: Large Language Models for Automated Memory-Safe Code Transpilation
di: Bedell, Sarah, et al.
Pubblicazione: (2026)

How Are Paid and Volunteer Open Source Developers Different? A Study of the Rust Project
di: Zhang, Yuxia, et al.
Pubblicazione: (2024)

Towards Modified Condition/Decision Coverage of Rust
di: Zaeske, Wanja, et al.
Pubblicazione: (2024)

o3-mini vs DeepSeek-R1: Which One is Safer?
di: Arrieta, Aitor, et al.
Pubblicazione: (2025)

Forcrat: Automatic I/O API Translation from C to Rust via Origin and Capability Analysis
di: Hong, Jaemin, et al.
Pubblicazione: (2025)

Build-Aware Incremental C-to-Rust Migration via Skeleton-First Translation and Historical Knowledge Reuse
di: Wang, Shengbo, et al.
Pubblicazione: (2026)

Translating C To Rust: Lessons from a User Study
di: Li, Ruishi, et al.
Pubblicazione: (2024)

A first look at ROS 2 applications written in asynchronous Rust
di: Škoudlil, Martin, et al.
Pubblicazione: (2025)

An Interactive Debugger for Rust Trait Errors
di: Gray, Gavin, et al.
Pubblicazione: (2025)

Rust vs. C for Python Libraries: Evaluating Rust-Compatible Bindings Toolchains
di: Amaral, Isabella Basso do, et al.
Pubblicazione: (2025)

CRUST-Bench: A Comprehensive Benchmark for C-to-safe-Rust Transpilation
di: Khatry, Anirudh, et al.
Pubblicazione: (2025)

TECS/Rust-OE: Optimizing Exclusive Control in Rust-based Component Systems for Embedded Devices
di: Yoshimura, Nao, et al.
Pubblicazione: (2025)

Search-Based Multi-Trajectory Refinement for Safe C-to-Rust Translation with Large Language Models
di: Sim, HoHyun, et al.
Pubblicazione: (2025)

SOSecure: Safer Code Generation with RAG and StackOverflow Discussions
di: Mukherjee, Manisha, et al.
Pubblicazione: (2025)

Evaluating AI-generated code for C++, Fortran, Go, Java, Julia, Matlab, Python, R, and Rust
di: Diehl, Patrick, et al.
Pubblicazione: (2024)

SandCell: Sandboxing Rust Beyond Unsafe Code
di: Zhang, Jialun, et al.
Pubblicazione: (2025)