論文の概要: Bug Histories as Sources of Compiler Fuzzing Mutators

• arxiv url: http://arxiv.org/abs/2510.07834v1
• Date: Thu, 09 Oct 2025 06:25:37 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-10-10 17:54:14.905884
• Title: Bug Histories as Sources of Compiler Fuzzing Mutators
• Title（参考訳）: コンパイラファジィファジィミュータのソースとしてのバグ履歴
• Authors: Lingjun Liu, Feiran Qin, Owolabi Legunsen, Marcelo d'Amorim,
• Abstract要約: 本稿では,バグ履歴からコンパイラファジィ・ミュータを抽出する最初の手法である IssueMut を提案する。 私たちは1760 GCCとLLVMのバグレポートから587のミュータをマイニングしています。 彼らは、最先端の突然変異コンパイラであるfuzzerがGCCで-28を、LLVMで37をミスする新しいバグを見つけました。
• 参考スコア（独自算出の注目度）: 4.429780401631313
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Bugs in compilers, which are critical infrastructure today, can have outsized negative impacts. Mutational fuzzers aid compiler bug detection by systematically mutating compiler inputs, i.e., programs. Their effectiveness depends on the quality of the mutators used. Yet, no prior work used compiler bug histories as a source of mutators. We propose IssueMut, the first approach for extracting compiler fuzzing mutators from bug histories. Our insight is that bug reports contain hints about program elements that induced compiler bugs; they can guide fuzzers towards similar bugs. IssueMut uses an automated method to mine mutators from bug reports and retrofit such mutators into existing mutational compiler fuzzers. Using IssueMut, we mine 587 mutators from 1760 GCC and LLVM bug reports. Then, we run IssueMut on these compilers, with all their test inputs as seed corpora. We find that "bug history" mutators are effective: they find new bugs that a state-of-the-art mutational compiler fuzzer misses-28 in GCC and 37 in LLVM. Of these, 60 were confirmed or fixed, validating our idea that bug histories have rich information that compiler fuzzers should leverage.
• Abstract（参考訳）: 今日では重要なインフラストラクチャであるコンパイラのバグは、ネガティブな影響を大きく上回る可能性がある。 突然変異ファジィは、コンパイラ入力、すなわちプログラムを体系的に変更することで、コンパイラのバグ検出を支援する。 その効果は、使用するミュータの質に依存する。 しかし、以前の作業では、ミュータのソースとしてコンパイラのバグヒストリーを使用していなかった。 本稿では,バグ履歴からコンパイラファジィ・ミュータを抽出する最初の手法である IssueMut を提案する。 私たちの洞察では、バグレポートには、コンパイラのバグを引き起こすプログラム要素に関するヒントが含まれています。 IssueMutは自動的なメソッドを使用して、ミュータをバグレポートからマイニングし、そのようなミュータを既存の突然変異コンパイラファザーに再適合させる。 IssueMutを使って、1760 GCCとLLVMのバグレポートから587のミュータをマイニングします。 次に、これらのコンパイラ上でIssageMutを実行し、すべてのテストインプットをシードコーパスとして実行します。 彼らは、最先端の突然変異コンパイラであるfuzzerがGCCで-28を、LLVMで37をミスする新しいバグを見つけました。 そのうち60は確認または修正され、バグ履歴にはコンパイラファジィが活用すべき豊富な情報がある、という私たちの考え方が検証された。

関連論文リスト

• Mut4All: Fuzzing Compilers via LLM-Synthesized Mutators Learned from Bug Reports [35.036499451862355]
  突然変異ベースのファジィは、コンパイラのバグを発見するのに有効だが、現代言語のための高品質なミュータを設計することは依然として困難である。 Mut4Allは,大規模言語モデル(LLM)を用いてミュータを合成し,バグレポートからコンパイラ固有の知識を抽出する,完全に自動化された言語に依存しないフレームワークである。
  論文  参考訳（メタデータ） (2025-07-25T13:54:42Z)
• CrashFixer: A crash resolution agent for the Linux kernel [58.152358195983155]
  この作業は、システムレベルのLinuxカーネルバグのベンチマークと、Linuxカーネルで実験を実行するプラットフォームを共有するkGymの上に構築されている。 CrashFixerはLinuxカーネルのバグに適応する最初のLCMベースのソフトウェア修復エージェントである。
  論文  参考訳（メタデータ） (2025-04-29T04:18:51Z)
• Towards Understanding the Bugs in Solidity Compiler [11.193701473232851]
  本稿では,533のSolidityコンパイラのバグに関する最初の系統的研究について述べる。 本研究は, その特徴(症状, 根本原因, 分布など)とトリガー試験例について検討した。 次に,Solidityコンパイラファザの限界について検討するため,Solidityコンパイラファザを3つ評価した。
  論文  参考訳（メタデータ） (2024-07-08T14:22:50Z)
• DebugBench: Evaluating Debugging Capability of Large Language Models [80.73121177868357]
  DebugBench - LLM(Large Language Models)のベンチマーク。 C++、Java、Pythonの4つの主要なバグカテゴリと18のマイナータイプをカバーする。 ゼロショットシナリオで2つの商用および4つのオープンソースモデルを評価する。
  論文  参考訳（メタデータ） (2024-01-09T15:46:38Z)
• Using Developer Discussions to Guide Fixing Bugs in Software [51.00904399653609]
  我々は,タスク実行前に利用可能であり,また自然発生しているバグレポートの議論を,開発者による追加情報の必要性を回避して利用することを提案する。 このような議論から派生したさまざまな自然言語コンテキストがバグ修正に役立ち、オラクルのバグ修正コミットに対応するコミットメッセージの使用よりもパフォーマンスの向上につながることを実証する。
  論文  参考訳（メタデータ） (2022-11-11T16:37:33Z)
• Configuring Test Generators using Bug Reports: A Case Study of GCC Compiler and Csmith [2.1016374925364616]
  本稿では,バグレポートのコードスニペットを使用して,テスト生成のガイドを行う。 GCCの8つのバージョンでこのアプローチを評価します。 我々は,本手法がGCCの最先端テスト生成技術よりも高いカバレッジを提供し,誤コンパイル障害を引き起こすことを発見した。
  論文  参考訳（メタデータ） (2020-12-19T11:25:13Z)

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

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