Copertina

MISRust: Mapping MISRA-C++ Coding Guidelines to the Rust Programming Language

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Molz, Marius, Schneider, Niels, Lechner, Sven, Kowalewski, Stefan, Kampmann, Alexandru
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Modern Middlewares for Automated Vehicles: A Tutorial
di: Klüner, David Philipp, et al.
Pubblicazione: (2024)

A Comparison of ROS 2 and AUTOSAR Adaptive Platform Against Industry-Elicited Automotive Middleware Requirements
di: Hegerath, Lucas, et al.
Pubblicazione: (2026)

Comparative Analysis of the Code Generated by Popular Large Language Models (LLMs) for MISRA C++ Compliance
di: Umer, Malik Muhammad
Pubblicazione: (2025)

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

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

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

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

LLM4C2Rust: Large Language Models for Automated Memory-Safe Code Transpilation
di: Bedell, Sarah, 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)

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

C2SaferRust: Transforming C Projects into Safer Rust with NeuroSymbolic Techniques
di: Nitin, Vikram, et al.
Pubblicazione: (2025)

Applying Bayesian Analysis Guidelines to Empirical Software Engineering Data: The Case of Programming Languages and Code Quality
di: Furia, Carlo A., et al.
Pubblicazione: (2021)

Hints Help Finding and Fixing Bugs Differently in Python and Text-based Program Representations
di: Rawal, Ruchit, et al.
Pubblicazione: (2024)

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

Towards Translating Real-World Code with LLMs: A Study of Translating to Rust
di: Eniser, Hasan Ferit, et al.
Pubblicazione: (2024)

PanicFI: An Infrastructure for Fixing Panic Bugs in Real-World Rust Programs
di: Ni, Yunbo, et al.
Pubblicazione: (2024)

PALM: Synergizing Program Analysis and LLMs to Enhance Rust Unit Test Coverage
di: Chu, Bei, et al.
Pubblicazione: (2025)

Guidelines to Prompt Large Language Models for Code Generation: An Empirical Characterization
di: Midolo, Alessandro, et al.
Pubblicazione: (2026)

Coordinating Stakeholders in the Consideration of Performance Indicators and Respective Interface Requirements for Automated Vehicles
di: Schubert, Richard, et al.
Pubblicazione: (2026)

Leveraging Generative AI for Enhancing Automated Assessment in Programming Education Contests
di: Dascalescu, Stefan, et al.
Pubblicazione: (2025)

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

Documentation-Guided Agentic Codebase Migration from C to Rust
di: Le-Anh, Minh, 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)

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

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

ClozeMaster: Fuzzing Rust Compiler by Harnessing LLMs for Infilling Masked Real Programs
di: Gao, Hongyan, et al.
Pubblicazione: (2026)

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

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

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

Mitigating False Positives in Static Memory Safety Analysis of Rust Programs via Reinforcement Learning
di: P, Akilesh, et al.
Pubblicazione: (2026)

An Empirical Security Evaluation of LLM-Generated Cryptographic Rust Code
di: Elsayed, Mohamed, et al.
Pubblicazione: (2026)

Automated Proof Generation for Rust Code via Self-Evolution
di: Chen, Tianyu, et al.
Pubblicazione: (2024)

Characterizing Unsafe Code Encapsulation In Real-world Rust Systems
di: Rao, Zihao, et al.
Pubblicazione: (2024)

Static Deadlock Detection for Rust Programs
di: Zhang, Yu, et al.
Pubblicazione: (2024)

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

Educational Insights from Code: Mapping Learning Challenges in Object-Oriented Programming through Code-Based Evidence
di: Menolli, Andre, et al.
Pubblicazione: (2025)

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

Fearless Unsafe. A More User-friendly Document for Unsafe Rust Programming Base on Refined Safety Properties
di: Cui, Mohan, et al.
Pubblicazione: (2024)

KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code
di: Liu, Yuwei, et al.
Pubblicazione: (2026)

CodeMapper: A Language-Agnostic Approach to Mapping Code Regions Across Commits
di: Hu, Huimin, et al.
Pubblicazione: (2025)