論文の概要: RustGo: Fairly Directed Greybox Fuzzing for Enforcing Rust Memory Safety
- arxiv url: http://arxiv.org/abs/2608.05870v1
- Date: Thu, 06 Aug 2026 10:48:37 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-08-07 17:43:06.741797
- Title: RustGo: Fairly Directed Greybox Fuzzing for Enforcing Rust Memory Safety
- Title（参考訳）: RustGo: Rustメモリの安全性を高めるためのGreyboxファズリング
- Abstract要約: Rustは、強力なメモリ安全性を提供し、低パフォーマンスオーバーヘッドをもたらす人気のあるシステムプログラミング言語である。
Rustはオーナシップなどの厳格なセキュリティポリシを通じてメモリ安全性を保証するが、安全でないRustコードではメモリのバグが発生する可能性がある。
Rust指向の新たなグレーボックスファザであるRustGoを提案します。
- 参考スコア（独自算出の注目度）: 5.500253242856999
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Rust is a popular systems programming language that provides strong memory safety and introduces low-performance overhead. While Rust guarantees memory safety through strict security policies, such as ownership, memory bugs can still occur in unsafe-related Rust codes where these policies are not fully enforced. Although such unsafe Rust code accounts for only a small portion of the entire code (e.g., 10%), existing approaches fuzz the entire code-including safe Rust, whose memory safety is already enforced by the Rust compiler-resulting in inefficient use of fuzzing resources. In this paper, we propose RustGo, the new Rust-directed greybox fuzzer that effectively and fairly focuses on code regions potentially containing memory bugs. For this, RustGo automatically identifies potential memory bug targets and accurately prunes the paths irrelevant to each target by leveraging Rust-specific static analysis. For each identified target, RustGo includes a new fuzzing approach that maintains an independent state and applies dynamic pruning to maximize balanced and focused fuzzing. We evaluate RustGo on various real-world Rust applications. On average, RustGo prunes 78.49% of irrelevant paths, reaches targets x 2.09 to x 5.08 faster than existing fuzzers, and identifies 13 unknown bugs (six assigned RUSTSEC IDs and one assigned CVE ID).
- Abstract（参考訳）: Rustは、強力なメモリ安全性を提供し、低パフォーマンスオーバーヘッドをもたらす人気のあるシステムプログラミング言語である。
Rustは、オーナシップなどの厳格なセキュリティポリシを通じてメモリ安全性を保証するが、これらのポリシが完全に強制されないアンセーフなRustコードでは、メモリバグが発生する可能性がある。
このような安全でないRustコードは、コード全体のごく一部(例:10%)に過ぎませんが、既存のアプローチでは、Rustコンパイラが非効率なファジリングリソースの使用を非効率にすることで、メモリ安全性をすでに実施している、コード全体を含む安全なRustを混乱させています。
本稿では,Rustを指向した新しいグレーボックスファザであるRustGoを提案する。
このためにRustGoは、潜在的なメモリバグターゲットを自動的に識別し、Rust固有の静的解析を活用することで、各ターゲットに関係のないパスを正確にプルーする。
識別されたターゲットごとに、RustGoには、独立した状態を維持し、動的プルーニングを適用して、バランスの取れた集中的なファジリングを最大化する、新たなファジリングアプローチが含まれている。
実世界のRustアプリケーション上でRustGoを評価する。
RustGoは、無関係なパスの78.49%をプルークし、既存のファズーよりもx2.09からx 5.08に到達し、13の未知のバグ(RUSTSEC IDと1つの割り当てられたCVE ID)を識別する。
関連論文リスト
- Scaling Verification of Cryptographic Software with Aeneas, Rust, and Lean [36.30712689467804]
Rustで書かれた暗号ソフトウェアを検証するための新しい方法論を開発した。
Rustのオーナシップの規律により、Aeneas氏は、リーンでこのコードの純粋なモデルを取り出すことができる。
エージェントは、Leanカーネルによって独立して検証される形式的な証明を、自律的に記述する。
論文 参考訳（メタデータ） (2026-09-14T14:32:51Z) - Generative Compilation: On-the-Fly Compiler Feedback as AI Generates Code [43.07697210931911]
本稿では、生成中の部分的プログラムに対するコンパイラフィードバックを得るための最初のアプローチである生成コンパイルを紹介する。
生成的コンパイルが非コンパイル出力を削減し、標準のポストジェネレーションフィードバックと比較して機能的正当性を向上させることを示す。
論文 参考訳（メタデータ） (2026-07-15T15:00:22Z) - Enhancing Software Engineering Through Closed-Loop Memory Optimization [50.418699819003486]
ソフトウェア工学 (SE) エージェントにおけるメモリ拡張のためのクローズドループフレームワークである ours を紹介する。
タスクに依存しない textbf ベンチマークとアノテーションのない textbf 最適化信号としての有用性を確立する。
その結果、SEエージェントは設定によって常に改善され、成功率で$uparrow5.25%、解決効率で$uparrow4.63%という絶対的なゲインが得られることが示された。
論文 参考訳（メタデータ） (2026-06-04T03:17:21Z) - MISRust: Mapping MISRA-C++ Coding Guidelines to the Rust Programming Language [37.20818475839222]
本稿では179のMISRA C++ 2023コーディングガイドラインを体系的に検討する。
適用可能な111のMISRAルールの47.75%は、Rustの言語設計によって自動的に実施されている。
69のガイドラインはいまだに重要であり、Rustへの直接的な適用か、あるいは適応が必要です。
論文 参考訳（メタデータ） (2026-05-22T10:52:52Z) - SafeSeek: Universal Attribution of Safety Circuits in Language Models [49.59795225914787]
我々は,統合された安全解釈可能性フレームワークである ourmethod を提案する。
提案手法は,大規模言語モデルにおける機能的完全安全回路を同定する。
LLMの安全性には2つの重要なシナリオがある。
論文 参考訳（メタデータ） (2026-03-24T14:32:53Z) - SafeFFI: Efficient Sanitization at the Boundary Between Safe and Unsafe Code in Rust and Mixed-Language Applications [5.578413517654703]
安全でないRustコードは、C/C++ライブラリとの相互運用性と低レベルのデータ構造を実装するために必要である。
Sanitizerは、実行時にそのようなメモリエラーをキャッチできるが、Rustの型システムによって安全性が保証されているメモリアクセスに対しても、多くの不要なチェックを導入する。
我々は,Rustバイナリにおけるメモリ安全機器の最適化システムであるSafeFFIを紹介する。
論文 参考訳（メタデータ） (2025-10-23T16:02:45Z) - Securing Mixed Rust with Hardware Capabilities [12.52089113918087]
CapsLockは、マシンコードのレベルで動作し、混合コードの実行時にRustの原則違反を検出するセキュリティ執行機構である。
CapsLockは、最近の機能ベースのハードウェア抽象化に実装できるほどシンプルに保たれている。
論文 参考訳（メタデータ） (2025-07-04T07:12:43Z) - Targeted Fuzzing for Unsafe Rust Code: Leveraging Selective Instrumentation [3.6968220664227633]
Rustは、ユーザビリティとセキュリティに焦点を当てた、有望なプログラミング言語である。
プログラマは、厳格なRustセキュリティポリシーに従わない、安全でないコードを書くことができる。
ファジィアが注目すべきプログラムのどの部分にフォーカスするかを決定するために、安全で安全なコードコンポーネントを自動的に検出する手法を提案する。
論文 参考訳（メタデータ） (2025-05-05T08:48:42Z) - 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) - C2SaferRust: Transforming C Projects into Safer Rust with NeuroSymbolic Techniques [16.111888466557144]
我々はC2SaferRustを紹介します。
最初にC2Rustを使って、Cコードを非慣用的で安全でないRustに変換する。
安全でないRustコードをスライスに分解し、LLMによってより安全なRustに個別に変換します。
各スライスを処理した後、エンドツーエンドのテストケースを実行して、コードが期待通りに機能していることを確認する。
論文 参考訳（メタデータ） (2025-01-24T05:53:07Z) - Unsafe's Betrayal: Abusing Unsafe Rust in Binary Reverse Engineering
toward Finding Memory-safety Bugs via Machine Learning [20.68333298047064]
Rustは、プログラミングにおけるメモリセーフなバグを避けるために、メモリセーフなメカニズムを提供する。
Rustのユーザビリティを高めるアンセーフコードは、メモリセーフなバグを見つけるための明確な場所を提供する。
これらの安全でないスポットは、マシンラーニングを介してRustバイナリコードで識別可能である、と私たちは主張しています。
論文 参考訳（メタデータ） (2022-10-31T19:32:18Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。