論文の概要: Building Sound Evaluation Practices for Rust-Based Security Frameworks

• arxiv url: http://arxiv.org/abs/2610.20315v1
• Date: Wed, 14 Oct 2026 15:02:11 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-10-15 21:06:16.212795
• Title: Building Sound Evaluation Practices for Rust-Based Security Frameworks
• Title（参考訳）: Rustベースのセキュリティフレームワークのための健全な評価プラクティスの構築
• Abstract要約: Rustはいまだにソフトウェア脆弱性の影響を受けています。 Rustコードのセキュリティを強化するためには、追加のツールアシストセキュリティテストが不可欠だ。 本手法は,研究者が科学的に健全な評価を行うのを支援することを目的としている。
• 参考スコア（独自算出の注目度）: 3.250767622008302
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Background: Rust is a modern programming language known for its focus on usability, concurrency, and security. However, empirical studies reveal that Rust is still affected by software vulnerabilities, with hundreds of memory safety issues found in Rust programs, including Rust's standard library. As a result, additional tool-assisted security testing is crucial to enhance the security of Rust code. Evaluating such tools, however, is highly complex. While there is substantial research on evaluating C/C++ security frameworks, including test sets, serious issues in published evaluations have been identified, undermining their scientific soundness and reproducibility. In practice, selecting an inadequate implementation (e.g., a fuzzer) can lead to missed vulnerabilities ultimately compromising a program's security. Aims: Our methodology aims to help researchers to conduct scientifically sound evaluations in order to prevent similar issues with the evaluation of security tools and frameworks in the Rust ecosystem. Method: We systematically analyze existing evaluation literature to develop the first sound methodology for Rust based evaluations. Our guidelines provide enough flexibility to support a variety of use cases. To quantify the performance of a security tool, we introduce an automated approach to inject unsafe code coverage oracles, which require no forward porting, avoid overfitting, and allow updating test sets in the future. We also present methods to quantify the diversity of a Rust test set, ensuring that the results are applicable to a large set of existing Rust programs. We practically apply our methodology in our evaluation of the most popular Rust fuzzers. Results: We show the practical applicability of our design and conduct an evaluation with a diverse test set of 20 Rust projects. [...]
• Abstract（参考訳）: 背景: Rustは、ユーザビリティ、並行性、セキュリティを重視したモダンなプログラミング言語として知られている。 しかし、実証的な研究によると、Rustはいまだにソフトウェアの脆弱性の影響を受けており、Rustの標準ライブラリを含む数百のメモリ安全性の問題がRustプログラムに見られる。 結果として、Rustコードのセキュリティを強化するために、追加のツールアシストセキュリティテストが不可欠である。 しかし、そのようなツールの評価は非常に複雑である。 テストセットを含むC/C++のセキュリティフレームワークの評価にはかなりの研究があるが、公表された評価の深刻な問題が特定され、科学的健全性と再現性が損なわれている。 実際には、不十分な実装(例えばファジィザ)を選択すると、ミスした脆弱性が最終的にプログラムのセキュリティを損なう可能性がある。 Aims: 私たちの方法論は、研究者がRustエコシステムにおけるセキュリティツールやフレームワークの評価に関して、同様の問題を防止するために、科学的に健全な評価を行うのを支援することを目的としています。 Method: 我々は既存の評価文献を体系的に分析し、Rustに基づく評価のための最初のサウンド方法論を開発した。 私たちのガイドラインは、さまざまなユースケースをサポートするのに十分な柔軟性を提供します。 セキュリティツールのパフォーマンスを定量化するために、前方移植を必要とせず、オーバーフィッティングを回避し、将来テストセットの更新を可能にする、安全でないコードカバレッジのオークルを注入する自動化アプローチを導入する。 また、Rustテストセットの多様性を定量化し、その結果が既存のRustプログラムの大規模なセットに適用可能であることを保証します。 我々は,最も人気のあるRustファザの評価に,我々の方法論を実践的に適用した。 結果: 私たちの設計の実践的適用性を示し、20のRustプロジェクトのさまざまなテストセットで評価を行います。 [...]

関連論文リスト

• Discovery or Memorization? A Faithful Benchmark for Real-World Business-Logic Vulnerability Discovery [54.222719340971075]
  AnonVulは132のアプリケーションレベルのビジネス論理的脆弱性の言語間ベンチマークである。 これは、タスクを匿名化し、専門家が書いた仕様からオラクルを注入し、エクスプロイトを検証する半自動化パイプラインによって構築される。 我々は、AnonVulベンチマークの6つの最新脆弱性発見エージェントを評価し、発見成功、コスト効率、匿名化感度、オラクルの妥当性、障害モードを測定した。
  論文  参考訳（メタデータ） (2026-10-13T01:10:42Z)
• C-to-Rust Fallacy: Automatic Refactoring != Memory Security [20.66855647699412]
  Rustは、主要なシステムプログラミング言語として登場した。 パフォーマンスを損なうことなく、強力なメモリと型安全性を提供する。 C言語をRustに手動で変換するには、Rust言語機能に関する詳細なドメイン知識が必要だ。
  論文  参考訳（メタデータ） (2026-09-22T04:36:46Z)
• RealSec-bench: A Benchmark for Evaluating Secure Code Generation in Real-World Repositories [58.32028251925354]
  LLM(Large Language Models)は、コード生成において顕著な能力を示しているが、セキュアなコードを生成する能力は依然として重要で、未調査の領域である。 我々はRealSec-benchを紹介します。RealSec-benchは、現実世界の高リスクなJavaリポジトリから慎重に構築されたセキュアなコード生成のための新しいベンチマークです。
  論文  参考訳（メタデータ） (2026-01-30T08:29:01Z)
• A Trace-based Approach for Code Safety Analysis [3.21110975604312]
  Rustは、未定義の動作を許可するメモリセーフなプログラミング言語である。 本稿では、安全でないコードと未定義の振る舞いを理解するための体系的な枠組みを確立する。
  論文  参考訳（メタデータ） (2025-10-12T02:11:38Z)
• 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)
• LLM-Safety Evaluations Lack Robustness [58.334290876531036]
  我々は、大規模言語モデルに対する現在の安全アライメント研究は、多くのノイズ源によって妨げられていると論じる。 本研究では,将来の攻撃・防衛用紙の評価において,ノイズやバイアスを低減させる一連のガイドラインを提案する。
  論文  参考訳（メタデータ） (2025-03-04T12:55:07Z)
• 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)

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

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