Fugu-MT 論文翻訳(概要): Isolating Compiler Faults via Multiple Pairs of Adversarial Compilation Configurations

論文の概要: Isolating Compiler Faults via Multiple Pairs of Adversarial Compilation Configurations

arxiv url: http://arxiv.org/abs/2512.22538v1
Date: Sat, 27 Dec 2025 09:40:35 GMT
ステータス: 翻訳完了
システム内更新日: 2025-12-30 22:37:30.102453
Title: Isolating Compiler Faults via Multiple Pairs of Adversarial Compilation Configurations
Title（参考訳）: 逆コンパイル構成の複数ペアによるコンパイラ故障の分離
Authors: Qingyang Li, Yibiao Yang, Maolin Sun, Jiangchang Wu, Qingkai Shi, Yuming Zhou,
Abstract要約: MultiConfは、複数の対の逆コンパイル構成を構築することで、コンパイラの障害を自動的に分離する新しいアプローチである。実世界のGCCコンパイラ60のバグのベンチマークでMultiConfを評価した。特に、MultiConfはTop-1ファイルレベルで60のバグのうち27をローカライズし、2つの最先端アプローチよりも35.0%と28.6%改善した。
参考スコア（独自算出の注目度）: 13.835199384689645
License: http://creativecommons.org/licenses/by/4.0/
Abstract: Compilers are fundamental to modern software development, making the effective identification and resolution of compiler faults essential. However, localizing these faults to specific source files remains highly challenging due to the complexity and scale of modern compiler infrastructures. In this study, we propose MultiConf, a novel approach that automatically isolates compiler faults by constructing multiple pairs of adversarial compilation configurations. Each adversarial compilation configuration pair consists of a failing configuration and its corresponding passing configuration, which differ in only a small number of fine-grained options. MultiConf generates failing configurations through a lightweight construction process and derives the corresponding passing configurations by selectively disabling bug-related fine-grained options. We then employ a Spectrum-Based Fault Localization (SBFL) formula to rank the suspiciousness of compiler source files. Each adversarial configuration pair independently produces a ranking, which is subsequently aggregated using a weighted voting scheme to derive a final suspiciousness ranking, enabling more accurate and robust fault localization. We evaluate MultiConf on a benchmark of 60 real-world GCC compiler bugs. The results demonstrate that MultiConf significantly outperforms existing compiler fault localization techniques in both effectiveness and efficiency. In particular, MultiConf successfully localizes 27 out of 60 bugs at the Top-1 file level, representing improvements of 35.0% and 28.6% over the two state-of-the-art approaches, Odfl(20) and Basic(21), respectively.
Abstract（参考訳）: コンパイラは現代のソフトウェア開発の基本であり、コンパイラの障害の効果的な識別と解決が不可欠である。しかし、これらの欠陥を特定のソースファイルにローカライズすることは、現代のコンパイラインフラストラクチャの複雑さとスケールのため、依然として非常に難しい。本研究では,複数対の逆コンパイル構成を構築することで,コンパイラの障害を自動的に分離する手法であるMultiConfを提案する。各逆コンパイル構成ペアは、フェールした構成と、それに対応するパス構成から構成される。 MultiConfは軽量な構成プロセスを通じてフェールコンフィグレーションを生成し、バグ関連きめ細かいオプションを選択的に無効にすることで、対応するパスコンフィグレーションを導出する。次に、SBFL(Spectrum-Based Fault Localization)公式を用いて、コンパイラのソースファイルの不確かさをランク付けする。各逆構成ペアは独立してランキングを生成し、その後、重み付けされた投票方式を用いて集計され、最終的な不確実性ランキングが導出され、より正確でロバストなフォールトローカライゼーションを可能にする。実世界のGCCコンパイラ60のバグのベンチマークでMultiConfを評価した。その結果、MultiConfは既存のコンパイラのフォールトローカライゼーション技術よりも効率と効率の両面で優れていることがわかった。特に、MultiConfはTop-1ファイルレベルで60のバグのうち27をローカライズし、2つの最先端アプローチであるOdfl(20)とBasic(21)よりも35.0%と28.6%改善した。

関連論文リスト

Using a Sledgehammer to Crack a Nut? Revisiting Automated Compiler Fault Isolation [9.699231545580806]
本研究の目的は,BICベースの戦略であるBasicと,コンパイラ故障局所化の文脈における代表的SBFL技術を直接比較することである。 Basicは最新の良いリリースと最も初期の悪いリリースを特定し、バグを引き起こすコミットをピンポイントするためにバイナリ検索を使用する。我々は、60のGCCバグと60のLLVMバグからなるベンチマークを用いて、BasicとSBFLベースのテクニックを厳格に比較した。
論文参考訳（メタデータ） (2025-12-18T09:22:57Z)
Context-Guided Decompilation: A Step Towards Re-executability [50.71992919223209]
バイナリ逆コンパイルは、ソフトウェアセキュリティ分析、リバースエンジニアリング、マルウェア理解において重要な役割を果たす。大規模言語モデル (LLMs) の最近の進歩により、ニューラルデコンパイルが可能になったが、生成されたコードは一般的に意味論的にのみ使用可能である。 In-context Learning(ICL)を活用して,再実行可能なソースコードを生成するためのILC4Decompを提案する。
論文参考訳（メタデータ） (2025-11-03T17:21:39Z)
QiMeng-NeuComBack: Self-Evolving Translation from IR to Assembly Code [52.66657751895655]
大規模言語モデル(LLM)は、ニューラルコンパイルという魅力的な新しいパラダイムを提供する。本稿では,IR-to-assemblyコンパイル用に設計された新しいベンチマークデータセットであるNeuComBackを紹介する。 LLMの内部的なプロンプト戦略を進化させる自己進化的プロンプト最適化法を提案する。
論文参考訳（メタデータ） (2025-11-03T03:20:26Z)
Isolating Compiler Bugs through Compilation Steps Analysis [5.783745108952491]
CompSCANは、コンパイルステップのシーケンスを解析する新しいコンパイラバグ分離技術である。実世界のLLVMおよびGCCバグ185件についてCompSCANを評価した。 ETEMとODFLと比較すると、CompSCANは44.51%/50.18%/36.24%/24.49%/ETEM、31.58%/49.12%/44.93%/21.78%の相対的な改善を実現している。
論文参考訳（メタデータ） (2025-10-15T03:58:02Z)
Improving Compiler Bug Isolation by Leveraging Large Language Models [14.679589768900621]
本稿では,AutoCBIという新しいコンパイラバグ分離手法を提案する。我々は、広く使われているGCCおよびLLVMコンパイラの120の現実世界バグに対して、最先端のアプローチ(DiWi、RecBi、FuseFL)に対してAutoCBIを評価した。特に、GCC/LLVMの上位1位では、AutoCBIは66.67%/69.23%、300%/340%、100%/57.14%のバグをRecBi、DiWi、FuseFLより分離している。
論文参考訳（メタデータ） (2025-06-21T09:09:30Z)
CompileAgent: Automated Real-World Repo-Level Compilation with Tool-Integrated LLM-based Agent System [52.048087777953064]
リポジトリレベルのコンパイル専用のエージェントフレームワークであるCompileAgentを提案する。 CompileAgentは5つのツールとフローベースのエージェント戦略を統合し、コンパイル命令検索とエラー解決のためのソフトウェアアーチファクトとのインタラクションを可能にする。提案手法は,10%から71%の範囲で,コンパイル成功率を大幅に向上することを示す。
論文参考訳（メタデータ） (2025-05-07T08:59:14Z)
Attestable Builds: Compiling Verifiable Binaries on Untrusted Systems using Trusted Execution Environments [2.4650753804485417]
我々は、ソフトウェアアーティファクトに強力なソース対バイナリ対応を提供する新しいパラダイムである、検証可能なビルドを提示する。我々のシステムは、最新の信頼できる実行環境(TEE)とサンドボックス化されたビルドコンテナを使用して、特定のアーティファクトが特定のソースコードスナップショットから正しく構築されていることを確実に保証します。
論文参考訳（メタデータ） (2025-05-05T10:00:04Z)
When Disagreements Elicit Robustness: Investigating Self-Repair Capabilities under LLM Multi-Agent Disagreements [56.29265568399648]
我々は、不一致が早期のコンセンサスを防ぎ、探索されたソリューション空間を拡張することを主張する。タスククリティカルなステップの相違は、ソリューションパスのトポロジによってコラボレーションを損なう可能性がある。
論文参考訳（メタデータ） (2025-02-21T02:24:43Z)
ReF Decompile: Relabeling and Function Call Enhanced Decompile [50.86228893636785]
逆コンパイルの目標は、コンパイルされた低レベルコード(アセンブリコードなど)を高レベルプログラミング言語に変換することである。このタスクは、脆弱性識別、マルウェア分析、レガシーソフトウェアマイグレーションなど、さまざまなリバースエンジニアリングアプリケーションをサポートする。
論文参考訳（メタデータ） (2025-02-17T12:38:57Z)
The Devil Is in the Command Line: Associating the Compiler Flags With the Binary and Build Metadata [0.0]
コンパイラフラグの望ましくない組み合わせによる欠陥は、非自明なソフトウェアプロジェクトでは一般的である。コンパイラがどのようにコンパイルされ、ソフトウェアシステムがリンクされたかの問い合わせ可能なデータベースは、早期に欠陥を検出するのに役立ちます。
論文参考訳（メタデータ） (2023-12-20T22:27:32Z)
Local Sample-weighted Multiple Kernel Clustering with Consensus Discriminative Graph [73.68184322526338]
マルチカーネルクラスタリング(MKC)は、ベースカーネルの集合から最適な情報融合を実現するためにコミットされる。本稿では,新しい局所サンプル重み付きマルチカーネルクラスタリングモデルを提案する。実験により, LSWMKCはより優れた局所多様体表現を有し, 既存のカーネルやグラフベースのクラスタリングアルゴリズムよりも優れていた。
論文参考訳（メタデータ） (2022-07-05T05:00:38Z)

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

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