論文の概要: Automated Detection of Configuration-Specific Security Vulnerabilities via Patch Analysis

• arxiv url: http://arxiv.org/abs/2606.25863v1
• Date: Wed, 24 Jun 2026 14:10:29 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-06-25 17:05:30.355766
• Title: Automated Detection of Configuration-Specific Security Vulnerabilities via Patch Analysis
• Title（参考訳）: パッチ解析による構成特定セキュリティ脆弱性の自動検出
• Abstract要約: VIC(Vulnerability Impact Condition)は、オリジナルの欠陥を含むすべての変種を指す。 PatchLensは,ASTレベルのパッチハンクをソースレベルの存在条件に合わせることで,VICを復元する手法である。 我々はPatchLensを1,192のLinuxカーネル、289のFF、100のPHPパッチで評価した。
• 参考スコア（独自算出の注目度）: 2.48553019855706
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: We study how security patches in highly configurable C/C++ systems map onto the space of compile-time variants. We formalize the Vulnerability Impact Condition (VIC) - a Boolean predicate over configuration options that denotes all variants that contained the original flaw - and introduce PatchLens, a purely static technique that recovers VICs by aligning AST-level patch hunks with source-level presence conditions and resolving file inclusion via lightweight build system analysis. Evaluating PatchLens on 1,192 Linux kernel, 289 FFmpeg, and 100 PHP patches, we compute precise, human-readable VICs without the need to compile any system variant. The resulting predicates are compact (avg. 1.84 variables for Linux, 3.23 for FFmpeg, 1.04 for PHP) and show that only a small fraction of vulnerabilities are system-wide, which carry higher CVSS scores; meanwhile, CVE texts almost never encode the required options ($\approx$ 1% average recall), motivating automated enrichment of CVE descriptions with VICs. PatchLens and the accompanying dataset enable immediate applications in CI (variant-aware triage and test selection), targeted sampling and fuzzing, and feature risk scoring, offering a scalable, explainable path to vulnerability assessment in highly configurable software.
• Abstract（参考訳）: 高度に構成可能なC/C++システムにおけるセキュリティパッチがコンパイル時変量空間にどのようにマップされるかを検討する。 私たちは、Vulnerability Impact Condition (VIC) – 元の欠陥を含むすべての変種を示す設定オプションに関するBooleanの述語 – を形式化し、ASTレベルのパッチハンクをソースレベルの存在条件に合わせることによってVICを回復する純粋に静的なテクニックであるPatchLensを紹介します。 1,192のLinuxカーネル,289のFFmpeg,100のPHPパッチ上でPatchLensを評価することで,システム変種をコンパイルすることなく,正確かつ可読なVICを計算する。 結果として得られた述語はコンパクト(Linux 1.84変数、FFmpeg 3.23変数、PHP 1.04変数)であり、システム全体の脆弱性はごくわずかであり、CVSSスコアが高いが、CVEテキストは必要なオプションをほとんどエンコードしない("\approx$ 1% average recall")。 PatchLensと付随するデータセットは、CI(変量対応トリアージとテスト選択)、ターゲットサンプリングとファズリング、機能リスクスコアリング、高度に構成可能なソフトウェアにおける脆弱性評価へのスケーラブルで説明可能なパスを提供する。

関連論文リスト

• Vulnerability Localization Benchmark: Measuring Agentic Security Analysis at Repository Scale [54.83971397981572]
  言語モデルエージェントは、ソフトウェアリポジトリ全体を通してますます運用される。 サイバーセキュリティ評価は、関連するコードを見つけることよりも、脆弱性を検出、再生、または修復できるかどうかを測定する。 脆弱性のローカライゼーションについて検討する。弱点クラスと不慣れなリポジトリが与えられた場合、その弱点に関連する実装ファイルを特定する。
  論文  参考訳（メタデータ） (2026-09-14T17:44:51Z)
• CVE-Factory: Scaling Expert-Level Agentic Tasks for Code Security Vulnerability [50.57373283154859]
  CVE-Factoryは、脆弱性タスクを自動変換するエキスパートレベルの品質を実現するための、最初のマルチエージェントフレームワークである。 最新の現実的な脆弱性についても評価され、66.2%の成功が証明されている。 コードセキュリティにおけるエージェントタスクの大規模スケーリングとして,1000以上の実行可能なトレーニング環境を合成する。
  論文  参考訳（メタデータ） (2026-02-03T02:27:16Z)
• Multi-Agent Taint Specification Extraction for Vulnerability Detection [49.27772068704498]
  コンテナ分析を使用した静的アプリケーションセキュリティテスト(SAST)ツールは、高品質な脆弱性検出結果を提供するものとして広く見なされている。 本稿では,Large Language Models (LLM) のセマンティック理解と従来の静的プログラム解析を戦略的に組み合わせたマルチエージェントシステムであるSemTaintを提案する。 私たちは、SemTaintを最先端のSASTツールであるCodeQLと統合し、これまでCodeQLで検出できなかった162の脆弱性の106を検出して、その効果を実証しています。
  論文  参考訳（メタデータ） (2026-01-15T21:31:51Z)
• What Do They Fix? LLM-Aided Categorization of Security Patches for Critical Memory Bugs [46.325755802511026]
  我々は、LLM(Large Language Model)と細調整された小言語モデルに基づく2つのアプローチを統合するデュアルメタルパイプラインであるLMを開発した。 LMは、OOBまたはUAFの脆弱性に対処する最近のLinuxカーネルのパッチ5,140のうち111つを、手作業による検証によって90の正の正が確認された。
  論文  参考訳（メタデータ） (2025-09-26T18:06:36Z)
• Decompiling Smart Contracts with a Large Language Model [51.49197239479266]
  Etherscanの78,047,845のスマートコントラクトがデプロイされているにも関わらず(2025年5月26日現在)、わずか767,520 (1%)がオープンソースである。 この不透明さは、オンチェーンスマートコントラクトバイトコードの自動意味解析を必要とする。 バイトコードを可読でセマンティックに忠実なSolidityコードに変換する,先駆的な逆コンパイルパイプラインを導入する。
  論文  参考訳（メタデータ） (2025-06-24T13:42:59Z)
• VFArchē: A Dual-Mode Framework for Locating Vulnerable Functions in Open-Source Software [15.634212183627236]
  ソフトウェア構成分析(SCA)は、ソフトウェアプロジェクトの依存性に固有の脆弱性に対処する上で重要な役割を担っている。 VFArch=eは、脆弱性を公開するために設計されたデュアルモードのアプローチで、利用可能なパッチリンクの有無にかかわらず、シナリオに適用できる。 妥当な努力で50の脆弱性のうち43のVFを見つけ、SCAツールの78～89%の偽陽性を著しく減らしました。
  論文  参考訳（メタデータ） (2025-06-22T14:33:10Z)
• AutoPatch: Multi-Agent Framework for Patching Real-World CVE Vulnerabilities [7.812032134834162]
  大規模言語モデル(LLM)はソフトウェア開発において有望なツールとして登場した。 彼らの知識は、固定されたカットオフ日に限定されており、新しく公開されたCVEに脆弱なコードを生成する傾向がある。 脆弱なLLM生成コードにパッチを当てるためのフレームワークであるAutoPatchを提案する。
  論文  参考訳（メタデータ） (2025-05-07T07:49:05Z)
• ReF Decompile: Relabeling and Function Call Enhanced Decompile [50.86228893636785]
  逆コンパイルの目標は、コンパイルされた低レベルコード(アセンブリコードなど)を高レベルプログラミング言語に変換することである。 このタスクは、脆弱性識別、マルウェア分析、レガシーソフトウェアマイグレーションなど、さまざまなリバースエンジニアリングアプリケーションをサポートする。
  論文  参考訳（メタデータ） (2025-02-17T12:38:57Z)
• Fine-Grained 1-Day Vulnerability Detection in Binaries via Patch Code Localization [12.73365645156957]
  バイナリの1日間の脆弱性は、ソフトウェアセキュリティに対する大きな脅威になっている。 パッチの有無テストは 脆弱性を検出する効果的な方法の1つです パッチコードとそのコンテキストから安定な値を利用するPLocatorという新しい手法を提案する。
  論文  参考訳（メタデータ） (2025-01-29T04:35:37Z)
• PS$^3$: Precise Patch Presence Test based on Semantic Symbolic Signature [13.9637348151437]
  既存のアプローチは主に、同じコンパイラオプションでコンパイルされるパッチの検出に重点を置いている。 PS3はシンボルエミュレーションを利用して、異なるコンパイラオプションの下で安定なシグネチャを抽出する。 PS3は精度、リコール、F1のスコアで0.82、0.97、0.89のスコアを得る。
  論文  参考訳（メタデータ） (2023-12-06T10:04:15Z)
• Autosploit: A Fully Automated Framework for Evaluating the Exploitability of Security Vulnerabilities [47.748732208602355]
  Autosploitは脆弱性の悪用性を評価するためのフレームワークだ。 環境の異なる設定でエクスプロイトを自動的にテストする。 ノイズレス環境とノイズの多い環境の両方で脆弱性を悪用する能力に影響を与えるシステムの特性を識別することができる。
  論文  参考訳（メタデータ） (2020-06-30T18:49:18Z)

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

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