論文の概要: MISRust: Mapping MISRA-C++ Coding Guidelines to the Rust Programming Language

• arxiv url: http://arxiv.org/abs/2605.23490v1
• Date: Fri, 22 May 2026 10:52:52 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-05-25 17:29:20.319268
• Title: MISRust: Mapping MISRA-C++ Coding Guidelines to the Rust Programming Language
• Title（参考訳）: MISRust: MISRA-C++コーディングガイドラインをRustプログラミング言語にマッピングする
• Authors: Marius Molz, Niels Schneider, Sven Lechner, Stefan Kowalewski, Alexandru Kampmann,
• Abstract要約: 本稿では179のMISRA C++ 2023コーディングガイドラインを体系的に検討する。 適用可能な111のMISRAルールの47.75%は、Rustの言語設計によって自動的に実施されている。 69のガイドラインはいまだに重要であり、Rustへの直接的な適用か、あるいは適応が必要です。
• 参考スコア（独自算出の注目度）: 37.20818475839222
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: The Rust programming language is increasingly being considered for safety-critical system development. However, established safety standards such as ISO 26262 require the use of coding guidelines that do not yet exist for Rust. This paper systematically examines each of the 179 MISRA C++ 2023 coding guidelines and classifies them into 6 categories based on their applicability to Rust. Our approach analyzes the rationale behind each MISRA rule to determine whether it remains valid in the Rust programming context. We find that 47.75% of the 111 as-is applicable MISRA rules are automatically enforced by Rust's language design, eliminating the need for explicit guideline enforcement. Furthermore, our analysis explicitly distinguishes between safe and unsafe Rust. We find that 69 guidelines are still relevant and still require either direct application or adaptation for Rust. Importantly, 36 of these rules are automatically satisfied when only using the safe subset of the Rust language. However, they are required again if unsafe Rust features are introduced. We also identify specific areas where new Rust-specific guidelines are needed. Where a guideline does not directly translate, we propose Rust-specific adaptations that preserve its intent. All mapping results and supporting artifacts are publicly available as open-source materials at https://github.com/embedded-software-laboratory/MISRust.
• Abstract（参考訳）: Rustプログラミング言語は、安全クリティカルなシステム開発のためにますます検討されている。 しかし、ISO 26262のような確立された安全基準では、Rustにはまだ存在しないコーディングガイドラインを使用する必要がある。 本稿では,179のMISRA C++ 2023コーディングガイドラインを体系的に検討し,Rustの適用性に基づいて6つのカテゴリに分類する。 我々のアプローチは、それぞれのMISRAルールの背後にある理論的根拠を分析し、それがRustプログラミングコンテキストで有効かどうかを判断します。 適用可能な111のMISRAルールの47.75%は、Rustの言語設計によって自動的に実施されているため、明確なガイドラインの適用は不要である。 さらに、我々の分析では、安全と安全でないRustを明確に区別しています。 69のガイドラインはいまだに重要であり、Rustへの直接的な適用か、あるいは適応が必要です。 重要なことに、これらのルールのうち36は、Rust言語の安全なサブセットを使用するだけで自動的に満たされる。 しかし、安全でないRust機能が導入された場合、それらは再び必要となる。 また、新しいRust固有のガイドラインが必要な特定の領域も特定します。 ガイドラインが直接翻訳しない場合、意図を保存するRust固有の適応を提案します。 すべてのマッピング結果とサポート成果物はhttps://github.com/embedded-software-laboratory/MISRust.comでオープンソースとして公開されている。

関連論文リスト

• Securing LLM Agents Need Intent-to-Execution Integrity [49.490963596514185]
  我々は, LLMエージェントの確保には, エージェントの実行がユーザの意図を忠実に反映した場合に規定するエンドツーエンドの正当性を定義する必要があると主張している。 LLMエージェントはコンパイラと構造的に類似しており、セキュリティ違反はユーザ意図を保存しない誤った実行に対応する。 emphTool整合性、emph命令整合性、emphJudgment整合性、emphData整合性。
  論文  参考訳（メタデータ） (2026-05-16T12:53:31Z)
• A Trace-based Approach for Code Safety Analysis [3.21110975604312]
  Rustは、未定義の動作を許可するメモリセーフなプログラミング言語である。 本稿では、安全でないコードと未定義の振る舞いを理解するための体系的な枠組みを確立する。
  論文  参考訳（メタデータ） (2025-10-12T02:11:38Z)
• RustAssure: Differential Symbolic Testing for LLM-Transpiled C-to-Rust Code [2.1413732583497826]
  Rustは、ソフトウェアのセキュリティを大幅に改善するメモリセーフなプログラミング言語である。 Cのような安全でないメモリ言語で書かれた既存のものは、Rustの改善された安全性保証を活用するために、まずRustにコンパイルされなければならない。 RustAssureは、Large Language Models(LLM)を使用して既存のCをRustに自動的にトランスパイルするシステムを提供する。
  論文  参考訳（メタデータ） (2025-10-08T22:52:34Z)
• CRUST-Bench: A Comprehensive Benchmark for C-to-safe-Rust Transpilation [51.18863297461463]
  CRUST-Benchは100のCリポジトリのデータセットで、それぞれが安全なRustとテストケースで手書きのインターフェースとペアリングされている。 我々は、このタスクで最先端の大規模言語モデル(LLM)を評価し、安全で慣用的なRust生成が依然として難しい問題であることを確認した。 最高のパフォーマンスモデルであるOpenAI o1は、ワンショット設定で15タスクしか解決できない。
  論文  参考訳（メタデータ） (2025-04-21T17:33:33Z)
• Fixing Rust Compilation Errors using LLMs [2.1781086368581932]
  Rustプログラミング言語は、C/C++のような従来の安全でない代替言語よりも、低レベルのシステムプログラミング言語に実行可能な選択肢として、自らを確立している。 本稿では,Large Language Models(LLMs)の創発的機能を活用し,Rustコンパイルエラーの修正を自動的に提案するRustAssistantというツールを提案する。 RustAssistantは、人気のあるオープンソースRustリポジトリの実際のコンパイルエラーに対して、約74%の驚くべきピーク精度を達成することができる。
  論文  参考訳（メタデータ） (2023-08-09T18:30:27Z)
• Is unsafe an Achilles' Heel? A Comprehensive Study of Safety Requirements in Unsafe Rust Programming [4.981203415693332]
  Rustは、効率性とメモリ安全性を重視した、新しく、強く型付けされたプログラミング言語である。 標準ライブラリの現在の安全でないAPIドキュメントには、一貫性や不十分さなど、さまざまなバリエーションがあった。 Rustのセキュリティを強化するために、ユーザに従うべき安全要件の体系的な記述をリストアップするために、安全でないAPIドキュメントを提案する。
  論文  参考訳（メタデータ） (2023-08-09T08:16:10Z)
• Automatic Extraction of Rules Governing Morphological Agreement [103.78033184221373]
  原文から第一パス文法仕様を抽出する自動フレームワークを開発する。 我々は、世界の多くの言語の文法の中核にあるモルフォシンタクティックな現象である合意を記述する規則の抽出に焦点をあてる。 我々のフレームワークはUniversal Dependenciesプロジェクトに含まれるすべての言語に適用され、有望な結果が得られます。
  論文  参考訳（メタデータ） (2020-10-02T18:31:45Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。