Buchumschlag

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

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Molz, Marius, Schneider, Niels, Lechner, Sven, Kowalewski, Stefan, Kampmann, Alexandru
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Modern Middlewares for Automated Vehicles: A Tutorial
von: Klüner, David Philipp, et al.
Veröffentlicht: (2024)

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

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

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

C2RustXW: Program-Structure-Aware C-to-Rust Translation via Program Analysis and LLM
von: Yan, Yanyan, et al.
Veröffentlicht: (2026)

Code Quality Analysis of Translations from C to Rust
von: Tadesse, Biruk, et al.
Veröffentlicht: (2026)

RustRepoTrans: Repository-level Code Translation Benchmark Targeting Rust
von: Ou, Guangsheng, et al.
Veröffentlicht: (2024)

LLM4C2Rust: Large Language Models for Automated Memory-Safe Code Transpilation
von: Bedell, Sarah, et al.
Veröffentlicht: (2026)

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

RustAssure: Differential Symbolic Testing for LLM-Transpiled C-to-Rust Code
von: Bai, Yubo, et al.
Veröffentlicht: (2025)

C2SaferRust: Transforming C Projects into Safer Rust with NeuroSymbolic Techniques
von: Nitin, Vikram, et al.
Veröffentlicht: (2025)

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

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

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

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

PanicFI: An Infrastructure for Fixing Panic Bugs in Real-World Rust Programs
von: Ni, Yunbo, et al.
Veröffentlicht: (2024)

PALM: Synergizing Program Analysis and LLMs to Enhance Rust Unit Test Coverage
von: Chu, Bei, et al.
Veröffentlicht: (2025)

Guidelines to Prompt Large Language Models for Code Generation: An Empirical Characterization
von: Midolo, Alessandro, et al.
Veröffentlicht: (2026)

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

Leveraging Generative AI for Enhancing Automated Assessment in Programming Education Contests
von: Dascalescu, Stefan, et al.
Veröffentlicht: (2025)

ORBIT: Guided Agentic Orchestration for Autonomous C-to-Rust Transpilation
von: Farrukh, Muhammad, et al.
Veröffentlicht: (2026)

Documentation-Guided Agentic Codebase Migration from C to Rust
von: Le-Anh, Minh, et al.
Veröffentlicht: (2026)

To Tag, or Not to Tag: Translating C's Unions to Rust's Tagged Unions
von: Hong, Jaemin, et al.
Veröffentlicht: (2024)

Integrating Rules and Semantics for LLM-Based C-to-Rust Translation
von: Luo, Feng, et al.
Veröffentlicht: (2025)

Yuga: Automatically Detecting Lifetime Annotation Bugs in the Rust Language
von: Nitin, Vikram, et al.
Veröffentlicht: (2023)

ClozeMaster: Fuzzing Rust Compiler by Harnessing LLMs for Infilling Masked Real Programs
von: Gao, Hongyan, et al.
Veröffentlicht: (2026)

SandCell: Sandboxing Rust Beyond Unsafe Code
von: Zhang, Jialun, et al.
Veröffentlicht: (2025)

EvoC2Rust: A Skeleton-guided Framework for Project-Level C-to-Rust Translation
von: Wang, Chaofan, et al.
Veröffentlicht: (2025)

Dependency-Guided Repository-Level C-to-Rust Translation with Reinforcement Alignment
von: Feng, Jia, et al.
Veröffentlicht: (2026)

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

An Empirical Security Evaluation of LLM-Generated Cryptographic Rust Code
von: Elsayed, Mohamed, et al.
Veröffentlicht: (2026)

Automated Proof Generation for Rust Code via Self-Evolution
von: Chen, Tianyu, et al.
Veröffentlicht: (2024)

Characterizing Unsafe Code Encapsulation In Real-world Rust Systems
von: Rao, Zihao, et al.
Veröffentlicht: (2024)

Static Deadlock Detection for Rust Programs
von: Zhang, Yu, et al.
Veröffentlicht: (2024)

Towards a Transpiler for C/C++ to Safer Rust
von: Tripuramallu, Dhiren, et al.
Veröffentlicht: (2024)

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

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

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

KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code
von: Liu, Yuwei, et al.
Veröffentlicht: (2026)

CodeMapper: A Language-Agnostic Approach to Mapping Code Regions Across Commits
von: Hu, Huimin, et al.
Veröffentlicht: (2025)