登录
漏洞分析

🎯 CVE-2026-31431 深度技术分析：漏洞根因 · PoC/EXP · 检测指纹

AiRedTeam

• 阅读时间 16 分钟
分享
🎯 CVE 全聚合深度分析

CVE-2026-31431 深度技术分析

📊 聚合 8 来源🧪 含 PoC🕵️ 含指纹
NVD-LatestGitHub-AdvisoryPoC-in-GitHubExploit-DB-RSSOrca Security

摘要：CVE-2026-31431（别名“Copy Fail”）是 Linux 内核 crypto/algif_aead 子系统中的一个高危漏洞，CVSS 评分为 7.8。该漏洞源于 AF_ALG 套接字在 AEAD 操作中错误地采用了“就地（in-place）”处理路径，导致通过 splice() 传入的页面缓存页在认证失败后仍被解密结果覆盖。攻击者可在未授权的情况下利用该原语实现对任意文件页面缓存（page-cache）的字节级篡改，在容器场景中可进一步升级为节点完全控制权。

📌 漏洞概述

  • CVE 编号：CVE-2026-31431
  • CVSS 评分：7.8（高危）
  • 组件：Linux 内核 crypto/algif_aead 子系统（AF_ALG 算法接口）
  • 漏洞类型：内存破坏 / 认证前数据覆写（Improper Input Validation 导致页面缓存污染）
  • 影响版本：受 commit 72548b093ee3 引入的“就地操作”优化影响的 Linux 内核版本（该提交已被本次修复部分回退）
  • 公开时间：2026 年 4 月 29 日由 Theori / Xint 披露
  • 别名：“copy.fail”

该漏洞允许无特权的容器工作负载通过 AF_ALG 与 splice() 组合，破坏宿主机上任意文件的页面缓存。Talos Linux 的安全公告（GHSA-m38g-vww2-mvgx）明确指出，攻击者只需具备在节点上创建 Pod 的能力，即可在不依赖内核调试、不利用条件竞争、无任何更高 Kubernetes 权限的情况下，实现宿主机上的任意代码执行（root）。

🔬 漏洞根因分析

漏洞的根源位于内核加密子系统的用户态接口 algif_aead.c。为了减少数据拷贝，内核提交 72548b093ee3 引入了 AEAD 操作的就地（in-place）优化。该优化的本意是：当源缓冲区（source）和目标缓冲区（destination）在物理上指向同一片内存时，跳过额外的拷贝操作，从而提升性能。

然而，在 AF_ALG 套接字的场景下，这种假设完全不成立。用户态通过 AF_ALG 提交的请求中，加密/解密的输入数据往往来自 splice() 系统调用——即直接引用目标文件的页面缓存页。同时，输出缓冲区被设置为同一片页面缓存页。也就是说，《源代码和目的地址来自不同的映射》——源页属于文件映射（页面缓存），而目标地址可能属于另一个不同的内核映射或用户映射。但就地优化错误地将二者视为相同，导致在 AEAD 操作过程中，解密引擎直接对页面缓存页进行原地写入。

更严重的是，AEAD 模式通常包含认证步骤。当认证标签校验失败时，正常的逻辑应当丢弃解密结果，保证接收者不会得到被篡改的数据。但在就地操作路径中，认证仅在完整解密过程之后进行——解密引擎已经将明文（或错误明文）写入了目标页面缓存页，即使随后认证失败并返回错误，这些写入的字节也已经永久性地修改了页面缓存内容。认证失败只是返回一个错误码给用户态，并不能回滚已经发生的内存修改。

实际利用时，攻击者使用 AF_ALG 创建一个 authencesn 模板的 AEAD 套接字，然后通过 splice() 将目标文件的页面缓存页（例如某个 setuid 二进制文件的内容）作为“密文输入”送入。同时，攻击者控制一个伪造的 AAD 和密文。在每次 AEAD 解密操作中，内核会先执行“就地”解密，将攻击者提供的 4 字节窗口写入目标页面缓存，然后进行认证检查——认证当然会失败，但写操作已经完成。通过反复执行 4*N 次操作（N 为目标文件字节数/4），攻击者可以将整个文件的页面缓存内容替换为任意攻击者指定的二进制载荷。

由于磁盘上的文件 inode 并未被修改，校验和或安全性检查（例如 SELinux 标签、文件哈希）不会感知到这一变化。而当后续进程执行该文件时，内核会从页面缓存加载已被篡改的内容，从而执行攻击者代码。这种攻击甚至不需要任何写权限：借助 splice() 从只读文件描述符中获取页面，AF_ALG 的写操作发生在内核内部。

官方修复方式是回退（revert）提交 72548b093ee3 的大部分改动，仅保留 associated data（AD）的拷贝逻辑。恢复为 out-of-place（异地）操作模式，确保输入和输出使用不同的内存区域，在认证失败时不会污染原始数据。

💥 影响与危害

该漏洞的利用完全不需要内核漏洞利用经验，不需要条件竞争，也不需要用户 namespace 或其他额外权限。攻击者只要能在受影响节点上创建 Pod（或等效地访问 AF_ALG 接口），即可在数秒内完成攻击。

  • 容器逃逸与节点接管：在 Talos Linux 等 Kubernetes 节点上，攻击者可以污染页面缓存中的特权二进制（例如 CNI 插件、kube-proxy 使用的 nft、setuid 程序等）。当这些二进制被以更高权限执行时，恶意载荷以宿主机 root 身份运行，从而实现完整的节点接管。
  • 持久化与横向移动：攻击者可以获得宿主机文件系统访问权限，读取节点机密（如 TLS 证书、Service Account token 等），并利用这些凭据在集群内部横向移动。
  • 绕过完整性机制：因为页面缓存污染发生在内核层，不修改磁盘文件，所以基于文件扫描的恶意软件检测、文件完整性监控（FIM）都可能无法发现异常。
  • 影响范围：所有使用受影响内核并启用 AF_ALG 的 Linux 系统均可能受影响，特别是容器化环境（如 Kubernetes、Docker）中，攻击面被显著放大。

🛡️ 修复与缓解

  • 补丁版本：Linux 内核主线的修复已将该提交回退，恢复为 out-of-place 操作模式。用户应更新至包含修复的稳定内核版本（例如 6.x 相应长期维护分支的最新修订版），并参考发行版（如 Talos Linux）的安全通告（GHSA-m38g-vww2-mvgx）进行版本升级。
  • 临时缓解：
    • 在不影响业务的前提下，禁用 AF_ALG 套接字（例如通过 seccomp 过滤 socket(AF_ALG, ...) 系统调用，或使用容器运行时策略禁止挂载 /proc/crypto）。
    • 对于 Kubernetes 环境，限制 Pod 的能力集（capabilities），移除 CAP_SYS_ADMIN 等特权能力，并启用安全的 seccomp 配置，阻止 AF_ALG 的创建。
    • 尽可能使用不可变文件系统或只读根文件系统，减少可被污染的关键二进制文件数量。
    • 监控可疑的 AF_ALG 套接字创建行为与异常页面缓存写入模式（虽然该漏洞的隐蔽性较强，但可以结合审计日志和系统调用追踪进行检测）。
  • 长期建议：内核加密接口应严格遵循“认证前不得修改输出”的原则，任何 in-place 优化都必须在认证成功后才允许将数据暴露给用户态；同时，涉及 splice() 的 I/O 路径应当仔细考虑页面缓存页的所有权与生命周期问题，避免出现类似的跨映射数据污染。

🧪 PoC 复现

从 GitHub 公开仓库抓取的实际 PoC 代码（仓库）。

📋 代码元数据语言md来源tgies/copy-fail-c针对性✅ 已验证与漏洞相关（代码含 CVE 引用）依赖见代码注释/README用法详见代码注释中的使用说明

# Copy Fail (CVE-2026-31431) - C port

*[English (en)](README.md) ∙ [日本語 (ja)](README.ja.md) ∙ [简体中文 (zh-cn)](README.zh-cn.md) ∙ [한국어 (ko)](README.ko.md) ∙ [Русский (ru)](README.ru.md)*

Copy Fail Linux LPE (CVE-2026-31431) のクロスプラットフォームC言語による再実装です。この脆弱性はTheori / Xintによって2026年4月29日に公開されました。脆弱性の詳細、タイムライン、Theoriによる発見プロセスについては、[copy.fail](https://copy.fail/) の公式レポートを参照してください。

公開されているProof-of-Concept (PoC) は732バイトのPythonスクリプトです。このC言語への移植版は、プロジェクト独自のソース内にアーキテクチャごとの16進数バイナリやインラインアセンブリを含めることなく、nolibcがサポートする任意のアーキテクチャにコンパイル可能なポータブルなC言語として同じエクスプロイトを表現できることを実証しています。

本移植版の作成者: Tony Gies <tony.gies@crashunited.com>
発見および当初の公開: Theori / Xint

## リポジトリ構成

```
copy-fail-c/
├── exploit.c           ドロッパー (バイナリ書き換えバリアント)
├── exploit-passwd.c    ドロッパー (/etc/passwd UID書き換えバリアント)
├── vulnerable.c        非破壊的な脆弱性チェッカー
├── payload.c           ドロップされる本体 (setgid+setuid+execve sh)
├── utils.c,
utils.h    AF_ALG/splice ページキャッシュ書き換えプリミティブ (共有)
├── Makefile            ビルドのオーケストレーション
├── nolibc/             torvalds/linux の tools/include/nolibc からのベンダーコード
└── README.md           このファイル
```

`make` 後:

```
├── payload             ドロッパーにバイト列として埋め込まれる小さな静的ELF
├── payload.o           `ld -r -b binary` によって再配置可能な .o としてラップされたペイロード
├── exploit             ドロッパー、バイナリ書き換えバリアント
├── exploit-passwd      ドロッパー、/etc/passwd UID書き換えバリアント
└── vulnerable          非破壊的な脆弱性チェッカー
```

`exploit.c` は対象バイナリを読み取り専用で開き、埋め込まれたペイロードの4バイトのウィンドウごとにAF_ALGを介してダミーのAEAD復号を1回実行します。このときの暗号文入力は、ターゲットのページキャッシュページからsplice()を介して提供されます。authencesnテンプレートのインプレース最適化により、spliceされたソースページは暗号文入力と平文出力先のアドレスの両方として扱われるため、認証検証がリクエストを拒否する頃には、（失敗する）復号によってすでにページキャッシュページが上書きされています。4 * N回の反復後、ターゲットのキャッシュされたイメージはペイロードとバイト単位で完全に置き換えられます。ターゲットをexecve()すると、変異したページがロードされます。ディスク上のinodeは依然としてsetuid rootであるため、カーネルはroot権限を付与し、ペイロードを実行します。

`payload.c` は純粋なポータブルC言語です: `setgid(0);
setuid(0);execve("/bin/sh",
...)`。nolibcは `_start`、システムコール機構、およびアーキテクチャごとのレジスタ操作を提供します。

2番目のバリアントである `exploit-passwd.c` は、setuidバイナリのイメージの代わりに /etc/passwd のページキャッシュの4バイトを書き換えます。埋め込みペイロードを必要とせず、バイナリ書き換えのルートがブロックされているシステムでも機能しますが、キャッシュアウトの（権限昇格を達成する）サーフェスははるかに狭くなります。

`vulnerable.c` はエクスプロイトではありません。文字列 `init` を含むローカルの `testfile` を作成し、そのファイル自身のページキャッシュに対して同じ `patch_chunk()` プリミティブを実行して、バイトを `vulnerable` に上書きしようとします。読み戻したファイル内容が一致すれば、実行中のカーネルは CVE-2026-31431 の影響範囲内です。ディスク上のinodeは変更されません。`testfile` は終了時に削除され、ページキャッシュの書き換えもそれと共に消えます。特権なしで実行できます。終了コードは、脆弱な場合は100、プリミティブは実行できたが書き換えが起きなかった場合は0、AF_ALGソケットファミリまたはauthencesnテンプレートが利用できずパッチ状態を判定できない場合は2、その他の実行時エラーでは1です。

## ビルド

デフォルト (ホストアーキテクチャ向けネイティブ):

```sh
make
```

aarch64 へのクロスコンパイル (またはクロスツールチェーンがインストールされている他のLinuxアーキテクチャ):

```sh
make CC=aarch64-linux-gnu-gcc LD=aarch64-linux-gnu-ld
```

ベンダー化されたnolibcがサポートするアーキテクチャ（アップストリームに準拠）: x86_64,
i386,arm,aarch64,riscv32/64,mips,ppc,s390x,loongarch,m68k,sh,sparc。nolibcはコンパイラのアーキテクチャマクロに基づいてディスパッチするため、適切な `CC`/`LD` を選択するだけで十分です。

ビルドの要件:

* Cコンパイラ (`cc`,`gcc` または任意のクロスバリアント)
* `ld -r -b binary` をサポートするリンカー (binutils ld および lld は対応)
* `linux/if_alg.h` と `<asm/unistd.h>` を提供するカーネルUAPIヘッダー (Debian/Ubuntu: `linux-libc-dev`;
クロスバリアント: 通常、クロスツールチェーンパッケージに含まれます)

Linux 5.6 より古いヘッダーセットは、ベンダー化されたnolibcが使用する `__kernel_old_time_t` および `struct __kernel_old_timespec` よりも前のものです。`compat.h` (ペイロードのビルドに強制インクルードされます) は、これらが存在しない場合に提供するため、古い `linux-libc-dev` でも引き続きビルドできます。5.6 以降のヘッダーでは何もしません。

外部ライブラリへの依存関係はありません。ペイロードはnolibcに対してフリースタンディングとしてビルドされます。ドロッパーは `fprintf` と `perror` のためだけにホストのlibcとリンクします。

## アーキテクチャの選択

ソースのポータビリティを維持し、ペイロードを小さく保つために、ツールチェーンのいくつかの小さな機能が大きな役割を果たしています。

### nolibc

`nolibc/` はカーネルの小さなヘッダーオンリーなlibcの代替であり、torvalds/linux の `tools/include/nolibc/` から取り込まれたものです。これは `_start`、ポータブルな `syscall()` マクロ、およびインラインシステムコールラッパーを提供し、アーキテクチャごとのレジスタの規則は `nolibc/arch-*.h` にエンコードされています。`-nostdlib -static -ffreestanding -Inolibc` でペイロードをビルドすると、glibcのスタートアップ、TLSの初期化、またはスタックカナリアの仕組みを組み込むことなく、直接カーネルを呼び出す小さな静的ELFが生成されます。結果: パックおよびセクションヘッダーの削除後 (いずれも後述)、x86_64で約720バイト、aarch64で約1.2 KBになります。同じ `payload.c` をmusl-staticでリンクすると約17 KB、glibc-staticでは約700 KBになります。

### 埋め込み用の `ld -r -b binary`

Makefileは `ld -r -b binary -o payload.o payload` を介して、ビルドされた `payload` ELFを `payload.o` に変換します。リンカーは入力バイトを再配置可能なオブジェクトファイルのデータセクションとしてそのまま出力し、入力ファイル名から3つのシンボルを合成します。

```
_binary_payload_start    最初のペイロードバイトのアドレス
_binary_payload_end      最後のペイロードバイトの1つ後のアドレス
_binary_payload_size     絶対シンボル（値はバイト単位のサイズ）
```

`exploit.c` は最初の2つを `extern const unsigned char[]` として宣言し、サイズを `_binary_payload_end - _binary_payload_start` として計算します。

### `-Wl,-N` と厳しい `max-page-size`

ペイロードは `-Wl,-N -Wl,-z,max-page-size=0x10` で静的リンクされます。これにより、カーネルのページ境界に合わせたセグメントあたり4 KBのデフォルトの代わりに、16バイトのファイルアラインメントで `.text`/`.rodata`/`.data` が単一のLOADセグメントにまとめられます。これにより `ld` から「RWX permissions」の警告が出ますが、これは情報提供のみです。ペイロードの実行時メモリ保護は、この単一目的のプログラムにとって重要ではありません。このフラグがない場合、同じコードはx86_64で約13 KB（大部分はセグメント間のゼロパディング）にリンクされますが、これを使用すると、後述のセクションヘッダー削除前で約1.3 KBになります。

### セクションヘッダーの削除

リンク後、`objcopy --strip-section-headers` はペイロードのセクションヘッダーテーブルと `.shstrtab` を削除します。カーネルのELFローダーはプログラムをそのプログラムヘッダーのみからマップするため、これらのバイトは実行時にはロードされませんが、`payload` はそのまま埋め込まれるため、ドロップと `patch_chunk` の反復回数を増大させます。これらを削除すると、x86_64のペイロードは約1.3 KBから720バイトになります（322回の4バイト反復が180回に減少）。2つのリンク時フラグが残りを削ります: `-Wl,--build-id=none` はbuild-idノートを削除し、`-fcf-protection=none` はコンパイラがサポートしている場合にx86のCETノートを削除します。

この削除には binutils >= 2.40 が必要です。クロスビルドでは `OBJCOPY=` を介してターゲットのobjcopyを渡します (例: `OBJCOPY=aarch64-linux-gnu-objcopy`)。objcopyが削除を実行できない場合、ビルドは注意メッセージを表示し、有効でより大きなペイロードを保持します。


## バリアントとキャッシュアウトの実現可能性

このリポジトリは、AF_ALG/splice ページキャッシュの書き換えプリミティブを共有しつつ、異なる方法でroot実行にキャッシュアウト（権限昇格を達成）する2つのエクスプロイトバリアントを提供しています。それらの信頼性プロファイルは同等ではなく、現実世界の脅威モデルを推論する際にこの違いが重要になります。

### バイナリ書き換えバリアント (`exploit`)

ターゲットのsetuidバイナリのページキャッシュを埋め込まれたペイロードバイトで書き換え、バイナリをexecします。カーネルは、バイナリのディスク上の変更されていないsetuidビットからroot権限を付与し、メモリ上の破損したイメージをロードして、ペイロードを実行します。

攻撃者がシステム上の任意のroot-setuidバイナリに対して `open(target,
O_RDONLY)` できる場所であればどこでも機能します。制限された読み取りディレクトリの背後にあるsetuidバイナリの環境や、setuidを使用しないシステム設計によっておおむね防御されます。

### /etc/passwd UID書き換えバリアント (`exploit-passwd`)

/etc/passwd のページキャッシュの4バイトを書き換えて、実行中のユーザーのUIDフィールドを "0000" に設定します。/etc/passwd はすべての標準的なLinuxシステムで誰でも読み取り可能であるため、*書き換え* 自体は普遍的です。これをroot実行に変換するには、root側のプロセスが getpwnam/getpwuid を介してユーザーを解決し、クロスチェックを行わずに解決されたuidに基づいて行動することに依存します。そのようなコンシューマーは多く存在しますが、その多くは呼び出し元のuidに対するカーネルのビューや、ディスク上のファイルの所有権と防衛的なクロスチェックを行うため、キャッシュアウトが機能しなくなります。

#### キャッシュアウト実現可能性マトリックス

|
キャッシュアウト |事前のroot設定の必要性 |備考 ||---|---|---||WSL2 セッションのスポーン |なし |WSLのセッションごとの `setuid(getpwnam(default_user)->pw_uid)` は検証を行いません。クリーンに動作します。 ||util-linux `su` |なし |呼び出し元の識別処理が寛容です。 ||shadow-utils `su` |あり |`getpwuid(getuid())` 呼び出し元の識別チェックは、書き換えによって実際のuidがマッピングされなくなるため失敗します。 ||sshd (デフォルト `StrictModes yes`) |あり (StrictModes の無効化) |
StrictModes はホームディレクトリが root または `pw->pw_uid` に所有されていることを要求します。書き換えにより pw_uid=0 になりますが、ディスク上の所有者は元のuidのままです。不一致のため認証が拒否されます。 ||MTA ローカル配信 (postfix,exim など) |変動あり |MDAのホーム権限検証に依存します。MTAごとのテストが必要です。 |
#### `su` 失敗後のピボット

`exploit-passwd` は書き換え後に最も単純なキャッシュアウトとして `su <user>` をexecします。これは util-linux の `su` に対しては機能しますが、shadow-utils の `su` に対しては "Cannot determine your user name." で失敗します。この時点でもページキャッシュの書き換えは有効であり、他のキャッシュアウト（例: クロスチェックなしで getpwnam を介してユーザーを解決するデーモンを使用する）へのピボットは可能です。
テスト完了後に破損したページキャッシュをクリアするには、rootとして `echo 3 >
/proc/sys/vm/drop_caches` を実行してください。

## 影響を受けるカーネル

```
下限:    torvalds/linux 72548b093ee3   2017年8月,v4.14
                                        (AEADスキャッターリストへのspliceを介した
                                         ファイルページ書き込みプリミティブを
                                         導入したAF_ALG iov_iterの再構築)

上限:    torvalds/linux a664bf3d603d   2026年4月,
メインライン
                                        (2017年のalgif_aeadインプレース最適化を元に戻す;
ソースと宛先のスキャッターリストを分離し、
                                         ページキャッシュページが書き込み可能な
                                         暗号化の宛先にならないようにした)
```

この間の期間: 修正をバックポートしなかったすべての主要なディストリビューションカーネル。
Ubuntu、RHEL、SUSE、Amazon Linux、およびDebianはすべて、情報公開時にストッククラウドイメージカーネルで脆弱性が確認されていました。ディストリビューションレベルのバックポートは、一般公開と並行して2026年4月29日頃から展開され始めました。ターゲットカーネルが該当期間内にあるかどうかを確認するには、カーネルのgitログまたはディストリビューションのチェンジログに `a664bf3d603d` (またはそのディストリビューション固有のバックポート) が存在するかどうかを確認してください。

## 商用サポート

有償のセキュリティレビュー、カスタム移植、非公開のセキュリティアドバイザリについては、作成者のコンサルティング会社である Crash United,
LLC を通じてお問い合わせください。

連絡先: tony.gies@crashunited.com · https://crashunited.com  
GitHub: [@tgies](https://github.com/tgies) · X/Twitter: [@me_irl](https://x.com/me_irl)

## ライセンスとクレジット

CVE-2026-31431の発見と当初の公開: Theori / Xint
公式レポート: <https://copy.fail/>本C移植版: Tony Gies <tony.gies@crashunited.com>
`nolibc/`: Linuxカーネルツリーからのベンダーコード、デュアルライセンス
LGPL-2.1-or-later または MIT (`nolibc/nolibc.h` および各ファイルのSPDXヘッダーを参照)。

このリポジトリのドロッパーおよびペイロードのソースは、依存するnolibcツリーと同じLGPL-2.1-or-later または MIT のデュアルライセンス条項の下でリリースされています。これは、このディレクトリ全体を自分の作業環境に取り込むユーザーに対してライセンスの互換性を容易に維持するためです。

エクスプロイトとペイロードは、セキュリティ研究および防衛的な検出の目的で公開されています。所有していない、または明示的なテストの許可を得ていないシステムに対する使用は、作成者ではなくあなた自身の責任です。

⚔️ EXP 利用代码

截至分析时，Exploit-DB 未收录该 CVE 的公开利用代码。可利用上述 PoC 进行验证，或关注 Exploit-DB 更新。

🕵️ 检测指纹

针对该 CVE 的自动化检测规则（可直接用于扫描与审计）。

🛡️ Semgrep 审计规则: CVE-2026-31431.yaml

📋 代码元数据语言yaml来源rules/semgrep/CVE-2026-31431.yaml针对性✅ 按 CVE 匹配依赖semgrep用法semgrep --config CVE-2026-31431.yaml

rules:
  - id: CVE-2026-31431-rce-go
    languages:
      - go
    severity: ERROR
    message: "Potential page cache corruption via AF_ALG and splice() leading to local privilege escalation. Avoid direct usage of AF_ALG sockets with splice() on file page-cache pages."
    patterns:
      - pattern: |syscall.Splice($R,nil,$W,nil,$N,0)
    fix: |
// Avoid using splice() with AF_ALG sockets on file-backed pages.
      // Use safe I/O operations like io.Copy instead of splice.
    metadata:
      cwe: "CWE-277"
      owasp: "A5: Broken Access Control"
      technology: talos
      references:
        - "https://github.com/advisories/GHSA-m38g-vww2-mvgx"
  - id: CVE-2026-31431-rce-go-alg
    languages:
      - go
    severity: ERROR
    message: "Potential page cache corruption via AF_ALG and splice() leading to local privilege escalation. Avoid direct usage of AF_ALG sockets with splice() on file page-cache pages."
    patterns:
      - pattern: |
syscall.Splice($R,nil,$W,nil,$N,0)
    fix: |// Avoid using splice() with AF_ALG sockets on file-backed pages.
      // Use safe I/O operations like io.Copy instead of splice.
    metadata:
      cwe: "CWE-277"
      owasp: "A5: Broken Access Control"
      technology: talos
      references:
        - "https://github.com/advisories/GHSA-m38g-vww2-mvgx"

🛡️ CodeQL 审计规则: CVE-2026-31431.ql

📋 代码元数据语言ql来源rules/codeql/CVE-2026-31431.ql针对性✅ 按 CVE 匹配依赖codeql用法codeql database run

/**
 * @kind path-problem
 * @id go/command-injection/cve-2026-31431
 * @name Unsafe splice() in AF_ALG leading to arbitrary code execution via nftables
 * @description Untrusted workload using AF_ALG and splice() can corrupt page-cache pages,
leading to arbitrary code execution in kube-proxy via nft binary poisoning
 * @problem.severity error
 * @tags security
 *       external/cwe/cwe-078
 */
import go
import semmle.go.security.dataflow.CommandInjectionCustomizations
import CommandInjectionFlow::PathGraph

/**
 * A source of untrusted input from inside a container (workload)
 */
class WorkloadSource extends DataFlow::Node {
WorkloadSource() {// Environment variables,command line arguments,network input,etc.
    any(DataFlow::Node src).(RemoteFlowSource) = src
    or
    // Any input received via AF_ALG socket from the container
    exists(FileReadAccess f |f.getFile().getAbsolutePath().matches("%/proc/%/fd/%"))
  }}
/**
 * A sink that represents the splice() system call on AF_ALG socket
 * which can corrupt page-cache pages
 */
class SpliceAlgSink extends DataFlow::Node {SpliceAlgSink() {exists(FunctionCall fc |fc.getTarget().getName() = "splice" and
      fc.getAnArgument().(DataFlow::Node).asExpr().getType().(PointerType).getBaseType().getName() = "alg_socket"
    )
  }}
/**
 * Sink for nft execution which can be poisoned via page-cache corruption
 */
class NftExecutionSink extends DataFlow::Node {NftExecutionSink() {exists(FunctionCall fc |
fc.getTarget().getName() = "exec" or
      fc.getTarget().getName() = "execve" or
      fc.getTarget().getName() = "syscall.Exec"
    ) and
    fc.getAnArgument().(DataFlow::Node).asExpr().(StringLiteral).getValue().matches("*/nft*")
  }}class PoC_CommandInjectionConfig extends TaintTracking::Configuration {PoC_CommandInjectionConfig() {this = "PoC_CommandInjectionConfig" }
override predicate isSource(DataFlow::Node source) {source instanceof WorkloadSource
  }override predicate isSink(DataFlow::Node sink) {sink instanceof SpliceAlgSink or
    sink instanceof NftExecutionSink
  }}from PoC_CommandInjectionConfig cfg,DataFlow::PathNode source,DataFlow::PathNode sink
where cfg.hasFlowPath(source,sink)
select sink.getNode(),source,sink,
"Untrusted workload data flows to splice() or nft execution,enabling page-cache corruption and privilege escalation"

🤖 本文由漏洞情报系统自动聚合生成 · 2026-08-04 04:06 · 数据源: NVD/GitHub-Advisory/OSV/CISA-KEV/Exploit-DB/PoC-in-GitHub + 检测规则库

[!] CONTACT_CHANNELS

如需商务合作、技术咨询或漏洞反馈，请通过以下离岸节点联系作者。

> PING_AUTHOR (@A1RedTeam)