論文の概要: Inferring 1-Minimal Trigger Configurations for Assessing Linux Kernel CVE Triggerability
- arxiv url: http://arxiv.org/abs/2608.15225v1
- Date: Sat, 15 Aug 2026 13:28:21 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-08-18 19:59:03.234824
- Title: Inferring 1-Minimal Trigger Configurations for Assessing Linux Kernel CVE Triggerability
- Title（参考訳）: LinuxカーネルCVEトリガビリティ評価のための1分間トリガ構成の推定
- Abstract要約: LinuxカーネルのCVEを評価するベンダーは、本番環境でバグがトリガー可能かどうかを知る必要がある。
最小限のトリガ構成推論について検討する。
有効かつ監査可能な1つの最小構成境界を返すことで、FCCはベンダーのスコープトリガビリティを支援する。
- 参考スコア（独自算出の注目度）: 6.060076608249865
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Vendors assessing Linux kernel CVEs need to know whether a bug is triggerable under production-tailored configurations, not merely whether a version is affected, yet upstream reproducers and vulnerability databases rarely provide configuration-level context. We study minimal trigger-configuration inference: given a CVE entry and a target kernel version (optionally a baseline .config), we synthesize a Kconfig-satisfiable option set that remains effective after make olddefconfig and, when a reproducer is available, still triggers under a specified evaluation protocol; we then prune it to a 1-minimal (subset-minimal) boundary for evaluation. Our framework FCC links vulnerability cues to build-system symbols, completes implicit prerequisites under olddefconfig feedback to avoid silent rollback, and performs runtime-validated minimization guided by dependency topology. We evaluate on KernJC and KernelCTF, totaling 88 CVEs across multiple kernel versions. On the 88-CVE set, FCC improves the post-make olddefconfig configuration success rate from 62.5% (55/88) to 96.6% (85/88) over an olddef-only injection baseline; on the KernJC set, FCC reduces the average candidate set size by 78.7% compared to KernJC (Avg. 14.72 vs. 69.00 options per CVE). A stage-wise analysis of time and token costs shows that Stage I dominates overhead, while CVE-focused evidence selection substantially reduces this cost. By returning an effective and auditable 1-minimal configuration boundary, FCC helps vendors scope triggerability against their deployment configurations with a clear, tool-supported decision line.
- Abstract（参考訳）: LinuxカーネルのCVEを評価するベンダーは、バージョンが影響を受けるかどうかだけでなく、本番環境でバグがトリガー可能かどうかを知る必要がある。
我々は、CVEエントリとターゲットカーネルバージョン(オプションとしてベースライン .config)が与えられた場合、古いdefconfigの作成後も有効であり、レプリケータが利用可能であれば、指定された評価プロトコルの下でトリガし、評価のために1-minimal(サブセット-ミニマル)境界に出力するKconfig-satisfiableオプションセットを合成する。
当社のフレームワークであるFCCは,脆弱性キューをビルドシステムシンボルにリンクし,古いdefconfigフィードバックの下で暗黙の前提条件を完了してサイレントロールバックを回避し,依存関係トポロジによってガイドされるランタイム検証最小化を実行する。
KernJC と KernelCTF を比較し,複数のカーネルバージョンにまたがる88個の CVE について検討した。
88-CVEセットでは、FCCは、古いデフォルトのみのインジェクションベースラインよりも62.5%(55/88)から96.6%(85/88)に改善し、KernJCセットでは、平均候補セットのサイズをKernJCよりも78.7%削減した(Avg. 14.72 vs. 69.00)。
時間とトークンのコストを段階的に分析すると、ステージIがオーバーヘッドを支配し、CVEに焦点を当てたエビデンス選択がこのコストを大幅に削減することを示している。
有効で監査可能な1つの最小構成境界を返すことで、FCCは、明確でツール対応の意思決定ラインで、ベンダーがデプロイメント構成に対してスコープのトリガビリティを提供する。
関連論文リスト
- From Silicon to Boot Code: Extending Automated Program Repair to Firmware-Layer Security Workarounds [0.8450904497835263]
現在の技術は、チップが生産される前にRTLまたはHLS設計のバグをローカライズし、修正する。
本稿では,このファームウェア層へのRTL修復のために開発された辞書誘導・オーバーフロー合成バリデート手法の適用可能性について検討する。
4つとも100%のリコールを達成しており、精度はCファミリーの2.1-15.5%から、アセンブリとHOBファミリーの100%まで変化している。
論文 参考訳（メタデータ） (2026-09-01T18:39:30Z) - Automated Detection of Configuration-Specific Security Vulnerabilities via Patch Analysis [2.48553019855706]
VIC(Vulnerability Impact Condition)は、オリジナルの欠陥を含むすべての変種を指す。
PatchLensは,ASTレベルのパッチハンクをソースレベルの存在条件に合わせることで,VICを復元する手法である。
我々はPatchLensを1,192のLinuxカーネル、289のFF、100のPHPパッチで評価した。
論文 参考訳（メタデータ） (2026-06-24T14:10:29Z) - Boosting Device Utilization in Control Flow Auditing [47.36491265793223]
制御フロー(CFAud)とは、遠隔検証器(Vrf)が証明器(Prv)MCUに取られた制御フローパスに関する証拠を、Prvソフトウェアが侵害された場合でも受信する機構である。
現在のCFAudでは、Prvのroot-of-anchored root-of-RoTが、Vrfにフローエビデンスを確実に配信するために実行を保ちます。
CARAMELは、制御フローエビデンスをVrfに送信しながらPrvを再開できるハードウェアRoTの共同設計である。
論文 参考訳（メタデータ） (2026-03-02T18:26:17Z) - Outrunning LLM Cutoffs: A Live Kernel Crash Resolution Benchmark for All [57.23434868678603]
Live-kBenchは、新たに発見されたカーネルバグのエージェントをスクラップし、評価するセルフ進化ベンチマークの評価フレームワークである。
kEnvは、カーネルのコンパイル、実行、フィードバックのためのエージェントに依存しないクラッシュ解決環境である。
kEnvを用いて3つの最先端エージェントをベンチマークし、最初の試行で74%のクラッシュを解決したことを示す。
論文 参考訳（メタデータ） (2026-02-02T19:06:15Z) - Linux Kernel Recency Matters, CVE Severity Doesn't, and History Fades [2.204918347869259]
2024年、Linuxカーネルは独自のCommon Vulnerabilities and Exposures and Numbering Authority (CNA)となった。
我々は、メタデータ、関連するコミット、パッチのレイテンシを使ってカーネルCVEの解剖学とダイナミクスを分析し、パッチの動作を理解する。
論文 参考訳（メタデータ） (2026-01-29T12:45:35Z) - 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) - CrashFixer: A crash resolution agent for the Linux kernel [58.152358195983155]
この作業は、システムレベルのLinuxカーネルバグのベンチマークと、Linuxカーネルで実験を実行するプラットフォームを共有するkGymの上に構築されている。
CrashFixerはLinuxカーネルのバグに適応する最初のLCMベースのソフトウェア修復エージェントである。
論文 参考訳（メタデータ） (2025-04-29T04:18:51Z) - KernJC: Automated Vulnerable Environment Generation for Linux Kernel Vulnerabilities [13.479046300981832]
Linuxカーネルの脆弱性の再現はシステムセキュリティにおいて重要なタスクである。
選択したカーネルバージョンの複製が脆弱であることを保証するのは難しい。
多くの脆弱性は、デフォルト設定で構築されたカーネルでは再現できない。
論文 参考訳（メタデータ） (2024-04-17T06:45:05Z) - Meta-Learning Hypothesis Spaces for Sequential Decision-making [79.73213540203389]
オフラインデータ(Meta-KeL)からカーネルをメタ学習することを提案する。
穏やかな条件下では、推定されたRKHSが有効な信頼セットを得られることを保証します。
また,ベイズ最適化におけるアプローチの有効性を実証的に評価した。
論文 参考訳（メタデータ） (2022-02-01T17:46:51Z) - ThreatZoom: CVE2CWE using Hierarchical Neural Network [4.254099382808598]
1つ以上のCVEは、Common Weakness Exposureion (CWE)クラスにグループ化される。
何千もの重要なCVEと新しいCVEは未分類のままだが、パッチできない。
本稿では,CVEをCWEに分類する最初の自動ツールを提案する。
論文 参考訳（メタデータ） (2020-09-24T06:04:56Z) - FCOS: A simple and strong anchor-free object detector [111.87691210818194]
物体検出を画素ごとの予測方式で解くために, 完全畳み込み型一段物検出器 (FCOS) を提案する。
RetinaNet、SSD、YOLOv3、Faster R-CNNといった最先端のオブジェクト検出器のほとんどは、事前に定義されたアンカーボックスに依存している。
対照的に、提案した検出器FCOSはアンカーボックスフリーであり、提案はフリーである。
論文 参考訳（メタデータ） (2020-06-14T01:03:39Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。