論文の概要: TraceVIC: Causal Reasoning over Code Evolution for Identifying Vulnerability-Inducing Commits

• arxiv url: http://arxiv.org/abs/2609.26711v1
• Date: Tue, 22 Sep 2026 17:02:42 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-09-24 01:05:39.763259
• Title: TraceVIC: Causal Reasoning over Code Evolution for Identifying Vulnerability-Inducing Commits
• Title（参考訳）: TraceVIC: 脆弱性の特定のためのコード進化に関する因果推論
• Abstract要約: コード進化を推論してVICを識別・ランク付けするための時間グラフベースのアプローチであるTraceVICを提案する。 TraceVICは最先端のメソッドでF2を最大28.7%改善し、4つのC/C++プロジェクトで79の脆弱性のうち78の有効なVICを特定する。
• 参考スコア（独自算出の注目度）: 7.386940340922458
• License: http://creativecommons.org/publicdomain/zero/1.0/
• Abstract: Software vulnerabilities are often discovered long after they are introduced, making it difficult to identify the vulnerability-inducing commit (VIC) responsible for introducing the underlying vulnerable condition. Existing VIC identification techniques largely rely on git blame to trace vulnerable code through revision history and use positional heuristics, such as selecting its earliest or most recent modification. However, the true VIC may occur anywhere within this history, and vulnerable behavior may depend on code that evolves across multiple revisions. We therefore argue that VIC identification requires reasoning about how vulnerability-relevant code evolves, rather than simply where a candidate commit appears in the revision history. We present TraceVIC, a temporal graph-based approach for identifying and ranking VICs by reasoning over code evolution. TraceVIC first localizes likely root-cause lines and traces their histories across revisions, constructing graph representations that capture program structure within each revision and the evolution of vulnerability-relevant code across the history. It reasons over the resulting revision history, using temporal edges to preserve correspondences between program elements across consecutive revisions, and directly ranks candidate commits according to their contribution to the vulnerable condition. Ablation results show that modeling the full revision history improves F2 from 0.637 to 0.814. TraceVIC improves F2 by up to 28.7% over state-of-the-art methods and identifies a valid VIC for 78 of 79 vulnerabilities across four unseen C/C++ projects.
• Abstract（参考訳）: ソフトウェア脆弱性は、導入後長い間発見されることが多く、基盤となる脆弱な状態を導入する原因となる脆弱性誘発コミット(VIC)を特定することは困難である。 既存のVIC識別技術は、修正履歴を通じて脆弱性のあるコードをトレースし、初期または最新の修正を選択するなどの位置ヒューリスティックを使用するためにgitの非難に大きく依存している。 しかし、真のVICは、この歴史のどこにでも起こり、脆弱な振る舞いは、複数のリビジョンにまたがって進化するコードに依存するかもしれない。 したがって、VICの識別には、リビジョン履歴に候補のコミットがどこに現れるかではなく、脆弱性関連コードがどのように進化するかを推論する必要がある、と論じる。 コード進化を推論してVICを識別・ランク付けするための時間グラフベースのアプローチであるTraceVICを提案する。 TraceVICはまず、おそらく根本原因の線をローカライズし、リビジョンにまたがる履歴をトレースし、各リビジョン内のプログラム構造をキャプチャするグラフ表現を構築し、履歴にまたがる脆弱性関連コードの進化を可能にする。 結果として得られた修正履歴を理由として、プログラム要素間の連続的なリビジョン間の対応を維持するために時間的エッジを使用し、脆弱な状態への貢献に応じて候補者のコミットを直接ランク付けする。 アブレーションの結果、フルリビジョン履歴のモデリングはF2を0.637から0.814に改善した。 TraceVICは、最先端のメソッドよりもF2を最大28.7%改善し、4つのC/C++プロジェクトで79の脆弱性に対して有効なVICを特定する。

関連論文リスト

• The History Is the Detector: Executing CVE Patch History, End-to-End [7.5252436225607875]
  本稿では,脆弱性履歴を実行可能な検出ルールに変換するフレームワークBUGSTONE-E2Eを提案する。 BUGSTONE-E2Eは、2022年から2026年にかけて19,325個の高重度CVEを使用して、2,710個の修正コミットを特定し、1,033個の検出ルールを構築している。 14のプログラムに適用すると、644の発見のランタイムエビデンスを生み出した。
  論文  参考訳（メタデータ） (2026-09-04T16:40:22Z)
• DCFA: Dual-view Causal-inspired Attribution for Failure Reasoning in LLM-based Multi-agent Systems [61.11435469308521]
  大規模言語モデルシステムにおける障害帰属のためのトレーニング不要フレームワークDCFAを提案する。 DCFAは、システムトレースから構造化因果インスパイアされた依存性グラフを構築するグローバルモジュールを統合する。 実験の結果、DCFAは最先端のベースラインよりもステップレベルの精度を最大8.27%向上することが示された。
  論文  参考訳（メタデータ） (2026-09-04T05:29:31Z)
• Rubrics as Visual-Repair Context for Self-Evolving UI-to-Code Generation [147.1183324267404]
  ローカルコード編集は、レイアウト、スタイル、コンポーネントの依存関係を通じて伝搬し、以前は忠実だった領域を劣化させながら、1つの視覚的ミスマッチを修正する。 本稿では,視覚フィードバックを構造化された視覚再生コンテキストとして表現するために,ルーブリックを用いたルーブリック誘導フレームワークであるRubSEを紹介する。 RubSEは最終ラウンドおよび最高ラウンド設定での自己進化を著しく上回り、より安定した改良とより高い軌道レベルの性能天井を実現する。
  論文  参考訳（メタデータ） (2026-08-25T07:03:46Z)
• PoCEvolve: Generating Proof-of-Concept Exploits from Security Patches with Vulnerability-Aware Prompt Evolution [9.074579150200455]
  脆弱性修正コミットから直接PoCを生成する,脆弱性対応のプロンプト進化フレームワークであるPoCEvolveを紹介する。 PoCEvolveは、推論された脆弱性APIやコードカバレッジ情報など、脆弱性関連コンテキストのさまざまな次元の有用性を評価する。 詳細な脆弱性レポートが利用可能になった場合、PoCEvolveは71.7%の成功率に達し、PoCGenよりも11.1%向上した。
  論文  参考訳（メタデータ） (2026-07-24T08:20:28Z)
• A History-Aware Visually Grounded Critic for Computer Use Agents [70.50900668601969]
  HiViGは、実際のGUIトラジェクトリで訓練されたマルチモーダル批評家を中心に構築されたテストタイムフレームワークである。 テスト時には、HiViGは批判者をポリシー決定ループに統合し、マクロアクション履歴を提供する。 Visually Grounded critiqueは、現在のスクリーンショットに対する生の実行座標を検証して、実行前にエラーをインターセプトする。
  論文  参考訳（メタデータ） (2026-06-09T16:39:10Z)
• FRESCO: Benchmarking and Optimizing Re-rankers for Evolving Semantic Conflict in Retrieval-Augmented Generation [73.22935457705057]
  時間的動的文脈における再ランカ評価のためのベンチマークであるFRESCOを紹介する。 レクエンシ検索クエリと過去のウィキペディアのリビジョンを組み合わせることで、FRESCOは、セマンティックな関連性を維持しながら、リランカが事実として最新の証拠を優先順位付けできるかどうかをテストする。 我々の評価では、既存の再ランカ間で一貫した障害モードが明らかになっている。
  論文  参考訳（メタデータ） (2026-04-14T17:04:25Z)
• Identifying Root Cause of bugs by Capturing Changed Code Lines with Relational Graph Neural Networks [7.676213873923721]
  本稿では,変化したコード行中のルート原因削除線を検出するRC検出法を提案する。 RC検出は、変更されたコード行中のルート原因の削除線を検出し、バグ修正コミットで導入されたバグの根本原因を特定するために使用される。 実験の結果,最も先進的な根本原因検出法と比較して,RC-detectionはRecall@1,Recall@2,Recall@3,MFRをそれぞれ4.107%,5.113%,4.289%,24.536%改善した。
  論文  参考訳（メタデータ） (2025-05-02T04:29:09Z)
• Understanding Code Understandability Improvements in Code Reviews [79.16476505761582]
  GitHub上のJavaオープンソースプロジェクトからの2,401のコードレビューコメントを分析した。 改善提案の83.9%が承認され、統合され、1%未満が後に復活した。
  論文  参考訳（メタデータ） (2024-10-29T12:21:23Z)
• VERCATION: Precise Vulnerable Open-source Software Version Identification based on Static Analysis and LLM [12.706661324384319]
  オープンソースソフトウェア(OSS)は、そのコラボレーティブな開発モデルとコスト効果の性質から、人気が高まっている。 開発プロジェクトにおける特定のソフトウェアバージョンの採用は、これらのバージョンが脆弱性をもたらす場合にセキュリティリスクをもたらす可能性がある。 本稿では,C/C++で記述されたOSSの脆弱性を識別するVERCATIONを提案する。
  論文  参考訳（メタデータ） (2024-08-14T06:43:06Z)

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

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