CVE-2026-31413
bpf: BPF_ORのmaybe_fork_scalars()における不健全なスカラーフォークの修正
- 公開済み
- 2026/04/12
- 更新済み
- 2026/08/05
- CNA の割り当て
- Linux
- 観察された証拠
- 2026/08/19
プライマリ CVSS
nvd · CVSS 3.1
CVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:H/I:H/A:H低 · 今後 30 日間
- パーセンタイル
- 12.9%
- モデルの日付
- 2026/09/21
EPSS は統計的な推定値であり、確実性や影響の尺度ではありません。 CVSS、KEV ステータス、暴露、環境と組み合わせます。
概要
Linux カーネルにおいて、以下の脆弱性が解決されました: bpf: BPF_OR の maybe_fork_scalars() におけるスカラーのフォーク処理の不健全性を修正 maybe_fork_scalars() は、ソースオペランドが定数の場合に BPF_AND と BPF_OR の両方に対して呼び出されます。dst が符号付き範囲 [-1, 0] を持つ場合、verifier の状態をフォークします: プッシュされたパスは dst = 0 を取得し、現在のパスは dst = -1 を取得します。BPF_AND の場合、これは正しいです: 0 & K == 0。BPF_OR の場合、これは誤りです: 0 | K == K であり、0 ではありません。したがって、プッシュされたパスは、実行時の値が K であるにもかかわらず dst を 0 として追跡し、悪用可能な verifier/ランタイムの乖離を生み出し、範囲外のマップアクセスを可能にします。これを修正するには、push_stack() に env->insn_idx + 1 ではなく env->insn_idx を渡し、プッシュされたパスが dst = 0 で ALU 命令を再実行し、任意のオペコードに対して自然に正しい結果を計算するようにします。
ソース
1CVE-2026-31413: BPF verifierの健全性バグ - コンテナエスケープ
責任ある使用
脆弱性情報は、自分が所有しているシステム、またはテストを許可されているシステムでのみ使用してください。 Kitploit は公開研究メタデータにリンクしており、エクスプロイト コードや悪意のあるペイロードは保存しません。