🎯 CVE-2026-31431 深度技术分析:漏洞根因 · PoC/EXP · 检测指纹
CVE-2026-31431 深度技术分析
摘要:CVE-2026-31431(代号 “Copy Fail”)是 Linux 内核 crypto/algif_aead 子系统中一个被评级为 HIGH(CVSS 7.8)的提权漏洞。该漏洞源于内核在 AF_ALG 接口中引入的 in-place(就地)操作优化:当用户通过 splice() 将文件页缓存页作为 AEAD 解密的输入时,由于源和目的地址映射并未真正重叠,in-place 的优化逻辑错误地允许解密操作直接写入该页缓存页,导致即使认证失败,页面已被部分覆盖。攻击者可以利用该原语,在无任何特权的情况下,修改宿主机上任意可读文件的页缓存内容,从而在 Kubernetes 等容器环境中实现节点完全控制。
📌 漏洞概述
- CVE 编号:CVE-2026-31431
- CVSS 评分:7.8(HIGH)
- 漏洞类型:内核内存破坏 / 权限提升(Improper Validation of In-place Operation)
- 受影响组件:Linux 内核 crypto/algif_aead(AF_ALG 加密接口)
- 影响版本:引入 commit 72548b093ee3(“crypto: algif_aead - switch to in-place”)之后、修复补丁应用之前的所有内核版本。具体版本范围以各发行版公告为准。
- 公开信息:由 Theori / Xint 团队于 2026 年发现并公开,官方报告见 copy.fail。已有多个公开 PoC 实现,包括 Python 和 C 语言移植版。
🔬 漏洞根因分析
AF_ALG 是 Linux 内核提供的用户态密码学接口,允许用户程序通过 socket 访问内核密码算法。在 AEAD(Authenticated Encryption with Associated Data)模式下,用户需要提供密文输入、关联数据(AD)以及输出缓冲区。历史上,algif_aead 始终采用 out-of-place 模型,即输入和输出分别由不同的内存映射提供,内核负责将解密结果写入独立的目标区域。
为了优化性能,commit 72548b093ee3 尝试在 algif_aead 内部实现 in-place 操作,即允许密文和明文共享同一缓冲区,减少 memcpy 开销。然而,这种优化引入了一个严重的安全假设错误:在 AF_ALG 的套接字模型中,用户传入的输入和输出区域本身是独立的用户空间映射,并非真正共享同一物理内存。真正的 in-place 操作通常用于同一缓冲区中原地改写数据的场景。当攻击者使用 splice() 系统调用将文件页缓存页直接作为 AF_ALG 的输入时,内核为了满足 in-place 的优化,会将该页同时映射为输出目标。这样,在 AEAD 解密流程中,算法核心会对该页进行就地解密——即使后续的认证标签验证失败,已经发生的解密操作也已经修改了页缓存页的内容。
关键问题在于,AEAD 的安全模型要求:只有在认证成功后才能输出明文。如果认证失败,解密结果不得向外泄露或影响任何可观察状态。而引入 in-place 优化后,算法在验证认证标签之前就进行了解密,并且结果直接写回了输入页。由于该输入页来自页缓存,这就造成了非法的页缓存写入原语。攻击者可以精准选择要修改的文件,并通过构造特定的 AES-GCM 或 AES-CCM 等 AEAD 请求,使解密产生的密文片段覆盖目标文件的任意字节。虽然每次请求只能覆盖一个块(取决于算法块大小),但通过反复发起请求,攻击者可以将整个文件的页缓存内容替换为任意构造的数据。
更致命的是,该原语只需要对目标文件具有只读打开权限(因为 splice 只要求源端可读),无需任何写权限。攻击者可以通过读取 setuid 二进制、动态库、容器镜像层中的某个可执行文件,并篡改其页缓存内容,然后在合适的时机触发该文件执行,从而实现权限提升。公开的 PoC(如 copy-fail-c)精确利用了这一点:它打开一个 setuid root 二进制(如 nft 或 passwd),通过 AF_ALG + splice 将其在页缓存中的镜像逐 4 字节改写为嵌入的恶意 payload,最后执行该二进制获得 root shell。整个过程不需要内核调试、不需要用户态 race condition,也不依赖任何内核信息泄露,是一个稳定且高利用率的提权链。
💥 影响与危害
- 任意文件页缓存篡改:攻击者可以在只读访问文件的前提下,修改该文件在内存中的页缓存内容。虽然磁盘上文件不变,但任何后续读取该文件的进程都会看到被篡改的数据。
- 容器逃逸 / 节点完全控制:在 Kubernetes 等容器环境中,攻击者只需能够创建 Pod(无需任何特权权限),即可利用该漏洞篡改宿主机的关键文件。例如:
- 篡改特权 Pod 内的二进制,如
/usr/sbin/nft,该二进制由 kube-proxy 等特权组件执行,从而在特权进程上下文中执行恶意代码。 - 篡改 CNI 插件或其他以 root 权限运行的宿主程序,实现无凭据的 root 权限获取。
- 修改
/etc/passwd的页缓存,将某个用户 UID 改为 0,从而通过登录或切换用户获得 root shell。
- 篡改特权 Pod 内的二进制,如
- 主机文件系统访问:一旦获得 root 权限,攻击者可以读取节点上的所有秘密(Kubernetes secret、服务账户 token、节点凭证),横向移动至整个集群。
- 隐蔽性:由于篡改仅发生在页缓存中,磁盘文件未被修改,传统文件完整性监控(例如基于磁盘哈希的检测)无法发现。攻击者只需触发目标文件执行,而不需要在磁盘上留下恶意文件。
- 无需任何修补依赖:PoC 已证明能够绕过常见的容器安全机制(如只读根文件系统、seccomp 限制等,只要允许 AF_ALG 系统调用及 splice 操作)。
🛡️ 修复与缓解
官方补丁
Linux 内核社区已回滚了引入该漏洞的 in-place 优化 commit(72548b093ee3),但保留了关联数据(AD)复制的修正逻辑,恢复为完全 out-of-place 的 AEAD 操作。补丁的核心思路是:在 algif_aead 中删除所有 in-place 分支的复杂度,直接使用独立目标区域完成解密,并将关联数据复制到专用的临时缓冲区。修复后的代码不再允许验证失败前将解密结果写入未认证的页缓存区域。
修补版本:请参考对应长期维护(LTS)内核分支的更新。由于 NVD 数据中尚未提供具体版本号,建议所有使用 Linux 内核 4.x/5.x/6.x 的生产环境密切关注发行商安全通告,及时升级至已包含回退补丁的版本。Talos Linux 等面向 Kubernetes 的发行版也应尽快应用其上游补丁。
临时缓解措施
- 隔离 AF_ALG 接口:在容器和不可信进程中使用 seccomp-BPF 或 AppArmor 策略阻止
socket(AF_ALG, ...)系统调用。若业务不需要内核密码学接口,可直接禁用该模块(黑名单algif模块)。 - 限制 splice 与加密接口的组合:对容器运行时的 syscalls 默认为拒绝清单,禁止
splice()与 AF_ALG 同时使用。 - 调整文件权限:将 setuid 二进制、动态库、特权组件的二进制设为仅 root 可读,降低攻击者对这些文件页缓存的引用能力。但注意该缓解不彻底,因为攻击者仍可能通过 /proc/self/mem 或其他可读句柄访问部分文件。
- 监控异常页缓存行为:尽管页缓存篡改不易被磁盘哈希检测发现,但可以通过监控关键文件被读取后的内存哈希变化、或使用内核静态防御(如页缓存只读映射保护)来缓解。
- 部署安全加固:及时应用发行版安全补丁,并考虑使用 eBPF LSM 程序阻止非授权进程访问 AF_ALG。
鉴于该漏洞已在野外攻击链中使用,强烈建议所有受影响环境在补丁可用后立即升级,而非仅依赖缓解措施。
🧪 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-03 06:07 · 数据源: NVD/GitHub-Advisory/OSV/CISA-KEV/Exploit-DB/PoC-in-GitHub + 检测规则库