論文の概要: Locate, Then Reason: End-to-End Patch Presence Testing in Stripped Binaries

• arxiv url: http://arxiv.org/abs/2610.25071v1
• Date: Sun, 18 Oct 2026 07:27:48 GMT
• ステータス: 情報取得中
• システム内更新日: 2026-10-20 22:37:00.206847
• Title: Locate, Then Reason: End-to-End Patch Presence Testing in Stripped Binaries
• Title（参考訳）: Locate, then Reason: Stripped Binaryにおけるエンドツーエンドのパッチ存在テスト
• Abstract要約: バイナリパッチ存在テストは、ストリップされたバイナリにセキュリティ修正が存在するかどうかを決定する。 以前のシステムは、パッチ関連コードが知られているか、うまくマッチしていると仮定することが多い。 我々は,リコールを経済的に最大化する大規模ローカライズを行うPatchAlignを提案する。
• 参考スコア（独自算出の注目度）: 20.717448655490305
• License:
• Abstract: Binary patch presence testing (PPT) determines whether a security fix is present in a stripped binary. Prior systems often assume that patch-relevant code is known or successfully matched. Function-level matching is brittle to compilation changes, inlining, finite model context, and missing usage context; moreover, similarity suppresses the patch-sized distinction needed for the verdict. We present PatchAlign, an end-to-end binary PPT workflow, which performs large-scale localization that maximizes recall economically, then the final verdict reasons for patch-specific evidence. PatchAlign uses instruction-aligned retrieval and caller-callee context to accurately locate patch-relevant binary code pieces, then screens the shortlist and compares target binary code with vulnerable and patched references using an LLM. Our experiments indicate that PatchAlign can precisely localize patch-relevant code and determine patch status without a target-location oracle.
• Abstract（参考訳）: バイナリパッチ存在テスト(PPT)は、ストリップされたバイナリにセキュリティ修正が存在するかどうかを決定する。 以前のシステムは、パッチ関連コードが知られているか、うまくマッチしていると仮定することが多い。 関数レベルのマッチングは、コンパイルの変更、インライン化、有限モデルコンテキスト、使用コンテキストの欠如に対して脆弱である。 PatchAlignはエンドツーエンドのバイナリPPTワークフローで、大規模なローカライズを行い、経済的にリコールを最大化する。 PatchAlignは、命令整合検索と呼び出しカリーコンテキストを使用して、パッチ関連バイナリコードを正確に特定し、ショートリストをスクリーニングし、LLMを使用してターゲットバイナリコードを脆弱でパッチされた参照と比較する。 我々の実験は、PatchAlignがパッチ関連コードを正確にローカライズし、ターゲット位置のオラクルなしでパッチ状態を決定することができることを示している。

関連論文リスト

• CodeMechanic: Bug-Property-Guided Program Mitigation [23.976869967674435]
  本稿では,メモリ破損に対する制約付きmit-イゲーションを生成するためのバグプロパタイズ誘導システムであるCodeMechanicを提案する。 LLMに永久的な修復を依頼する代わりに、CodeMechanicはクラッシュから侵害されたメモリセーフティプロパティを再構築する。 CodeMechanicは、3.4x - 4.3x以上のパッチを、開発者が書き直した修復と意味的に同等に生成する。
  論文  参考訳（メタデータ） (2026-08-23T08:06:47Z)
• Independent Patch Verification for Coding Agents with a Bidirectional Reconstruct-and-Verify Framework [49.16055123488827]
  大規模言語モデルを利用したコーディングエージェントは、バグレポートから直接コードパッチを生成することができる。 報告された問題を真に解決するかどうかを独立に検証するメカニズムは存在しない。 本稿では,RETRACE をトレーニング不要なポストジェネレーション検証フレームワークとして提案する。
  論文  参考訳（メタデータ） (2026-08-09T22:59:13Z)
• Patch2Vuln: Agentic Reconstruction of Vulnerabilities from Linux Distribution Binary Patches [3.93181912653522]
  本稿では,ローカルバイナリ由来の証拠に制限された言語モデルエージェントが,Linuxディストリビューション更新のセキュリティ意味を再構築できるかどうかを問う。 Patch2Vulnは、古い/新しいELFペアを抽出し、GhidraとGhidriffと拡散し、機能の変更をランク付けし、候補ドシエを構築し、オフラインエージェントに予備監査を生成する、ローカルで再利用可能なパイプラインである。 Patch2Vuln on 25 Ubuntu.deb package pairs: 20のセキュリティアップデートペアと5つの負のコントロール。
  論文  参考訳（メタデータ） (2026-05-07T17:22:22Z)
• Mitigating Implicit Inconsistencies in Patch Porting [13.153399281876451]
  暗黙の矛盾は、開発者がその非ローカルな性質のために解決する上での課題となる。 我々は,LLM,コンパイラ,コード解析ユーティリティ間の協調を可能にするMIPを提案する。 クロスフォークとクロスブランチのパッチポーティングという2つの代表的なシナリオの実験は、MIPが両方の設定において最高のパフォーマンスのベースラインの2倍以上のパッチを解決したことを示している。
  論文  参考訳（メタデータ） (2026-04-02T06:33:31Z)
• Outcome-Conditioned Reasoning Distillation for Resolving Software Issues [49.16055123488827]
  本稿では, 検証済みパッチを監督として, リポジトリ内問題を解決したO-CRD(Outcome-Conditioned Reasoning Distillation)フレームワークを提案する。 歴史的修正から始まり、検証結果から段階的な修理トレースを後方に再構築する。 SWE-Bench Liteでは、GPT-4oではPass@1が10.4%、DeepSeek-V3では8.6%、GPT-5では10.3%増加する。
  論文  参考訳（メタデータ） (2026-01-30T18:25:39Z)
• Lares: LLM-driven Code Slice Semantic Search for Patch Presence Testing [17.526200201537343]
  現代のソフトウェアエコシステムでは、1日の脆弱性はコードの大規模な再利用によって重大なセキュリティリスクを引き起こす。 しかし、既存の方法は、使用性と精度の制限に悩まされている。 パッチ存在テストのためのスケーラブルで正確な方法であるLalesを提案する。
  論文  参考訳（メタデータ） (2025-11-03T05:46:29Z)
• D-LiFT: Improving LLM-based Decompiler Backend via Code Quality-driven Fine-tuning [49.16469288280772]
  逆コンパイラは、バイナリから可読なソースコードを再構築する。 近年の進歩にもかかわらず、そのアウトプットは構文上の誤りや意味的な誤りに悩まされ、読みにくいままである。 大規模言語モデル (LLMs) の出現により、研究者は逆コンパイラ出力を洗練するためのLLMの可能性を探り始めた。 D-LIFTは、微調整強化学習を施した拡張逆コンパイラLLMパイプラインである。
  論文  参考訳（メタデータ） (2025-06-11T19:09:08Z)
• ReF Decompile: Relabeling and Function Call Enhanced Decompile [50.86228893636785]
  逆コンパイルの目標は、コンパイルされた低レベルコード(アセンブリコードなど)を高レベルプログラミング言語に変換することである。 このタスクは、脆弱性識別、マルウェア分析、レガシーソフトウェアマイグレーションなど、さまざまなリバースエンジニアリングアプリケーションをサポートする。
  論文  参考訳（メタデータ） (2025-02-17T12:38:57Z)
• RAP-Gen: Retrieval-Augmented Patch Generation with CodeT5 for Automatic Program Repair [75.40584530380589]
  新たな検索型パッチ生成フレームワーク(RAP-Gen)を提案する。 RAP-Gen 以前のバグ修正ペアのリストから取得した関連する修正パターンを明示的に活用する。 RAP-GenをJavaScriptのTFixベンチマークとJavaのCode RefinementとDefects4Jベンチマークの2つのプログラミング言語で評価する。
  論文  参考訳（メタデータ） (2023-09-12T08:52:56Z)
• Patch Space Exploration using Static Analysis Feedback [8.13782364161157]
  静的解析を利用して、メモリの安全性問題を自動的に修復する方法を示す。 提案したアプローチは、バグを修正するためのパッチの近さを検査することで、望ましいパッチが何であるかを学習する。 我々は,印字ヒープに対する影響に応じて等価パッチのクラスを作成し,そのクラスのパッチ等価度に対してのみ検証オラクルを呼び出すことにより,修復をスケーラブルにする。
  論文  参考訳（メタデータ） (2023-08-01T05:22:10Z)
• DPT: Deformable Patch-based Transformer for Visual Recognition [57.548916081146814]
  本稿では,デフォルマブルパッチ (Deformable Patch) モジュールを提案する。デフォルマブルパッチ(Deformable Patch, DePatch)モジュールは,画像を異なる位置とスケールのパッチに適応的に分割し,データ駆動方式でスケールする。 DePatchモジュールはプラグイン・アンド・プレイモジュールとして動作し、異なるトランスフォーマーに簡単に組み込んでエンドツーエンドのトレーニングを実現することができる。
  論文  参考訳（メタデータ） (2021-07-30T07:33:17Z)

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

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