🔍 源码独立审计

对 https://github.com/theori-io/copy-fail-CVE-2026-31431 源码进行独立审计（置信度 78%）。

🧬 根因独立理解

在crypto/algif_aead.c的aead_recvmsg()函数中，commit 72548b093ee3引入了一套in-place操作逻辑：通过af_alg_alloc_areq()分配struct aead_async_req，将用户发送阶段存放于tsgl中的AEAD数据（包含associated data与密文）整体复制到用户通过recvmsg提供的输出缓冲区所对应的scatterlist（areq->dst），然后调用aead_request_set_crypt()时将src和dst都设置为areq->dst。此时crypto层在同一个内存映射上执行AEAD操作，违反了crypto_aead对输入/输出缓冲区可分离且不重叠的要求。由于AF_ALG协议层中，sendmsg的source映射与recvmsg的destination映射来自不同的用户地址空间，这种in-place优化并没有任何性能收益，却引入了三个具体缺陷：一是src=dst后，加密引擎按算法块大小迭代读写，会造成已产生的输出覆盖尚未读取的AD或密文，破坏认证标签计算；二是sg的数量和长度计算只根据areq->assoclen和req->cryptlen，未在复制到dst时检查用户输出缓冲区是否真的容纳得下整个输入，导致越界写入用户缓冲区后面的内核内存；三是原commit调整了sg_nents和sg_init_table的顺序，使得dst sg在copy_from_iter时可能提前截断或错误扩展。补丁将这些in-place相关代码全部撤销，恢复为src指向tsgl、dst指向独立映射的out-of-place模式，仅保留了一个sg_copy_buffer将AD从tsgl直接拷贝到dst，从而根除根因。

🛤️ 漏洞触发链路

触发链路如下：攻击者首先通过socket(AF_ALG, SOCK_SEQPACKET, 0)创建算法套接字，bind到gcm(aes)，然后accept得到连接socket，并通过setsockopt设置密钥与tag长度。接着构造一段特殊的AEAD数据报，其中AD长度故意设置为接近或超过后续recvmsg输出缓冲区容量的值，密文长度较小，整体长度与输出缓冲区边界对齐但不相等。调用sendmsg将该数据报发送给AF_ALG socket，内核在af_alg_sendmsg中将其拆分为tsgl并暂存；随后攻击者调用recvmsg，并提供一个自定义的、比源数据总长略小的用户缓冲区。aead_recvmsg被触发，由于原commit的in-place分支，内核把tsgl中的数据复制到该用户缓冲区，并把areq->req的src、dst都设为该缓冲区。crypto_aead_decrypt/encrypt执行时，先校验/计算tag，在读取尾部数据前先写回头部数据，被覆盖的AD/密文导致后续操作使用被篡改的数据，同时复制操作的sg_alloc_copy由于长度不受输出缓冲区限制，会向缓冲区之后的内核映射写入。攻击者可通过多次尝试不同长度或使用mmap让输出缓冲区后紧跟敏感内核对象，利用越界写覆写该对象，再结合本地权限提升。

🔁 二次发现（同类漏洞/扩展攻击面）

• crypto/algif_skcipher.c (skcipher_recvmsg): skcipher接口的recvmsg同样使用AF_ALG的tsgl与用户输出缓冲映射，如果未来再次引入in-place优化而未分离src/dst，会重现缓冲区重叠漏洞；当前应保持独立sg并将src与dst映射到不同内存页。
• crypto/algif_hash.c (hash_recvmsg): hash算法虽无AD概念，但若在更新/最终阶段将输入和输出合并到同一sg，可能导致摘要结果覆盖未处理的输入数据；审计该路径可防止相似问题扩展。

🩹 修复完整性分析

当前补丁将commit 72548b093ee3回退到out-of-place模式，除了保留AD的直接复制外，删除了所有in-place桥接代码。从源代码对比看，src和dst不再指向同一sg，越界路径被阻断，修复是完整的。但需谨慎检查回退是否彻底：af_alg_alloc_areq中可能还存在与in-place相关的成员或条件分支，如果未完全清理，在多次recvmsg或MSG_MORE续传时可能残留错误状态；另外，AD复制使用sg_copy_buffer时未验证目标sg剩余空间，如果用户输出缓冲区长度小于assoclen，仍会复制越界。因此，建议补丁中同时增加对用户缓冲区长度的前置检查，确保输出缓冲区至少为assoclen+cryptlen，否则返回-EOVERFLOW；目前是否有此校验需进一步确认。总体而言，核心漏洞已修复，但边界校验不能省略。

⚔️ 利用方案设计

基于根因设计利用方案：第一步，初始化AF_ALG AEAD套接字，选择一个与目标内核版本匹配的AEAD算法（如gcm(aes)），通过ALG_SET_KEY设置密钥，并通过ALG_SET_AEAD_AUTHSIZE设置tag长度，使每次操作的返回长度可预期。第二步，构造恶意请求：sendmsg发送的包由任意AD字段和gcm密文组成，但AD长度取大于输出缓冲区可容纳的值，密文长度取0，使assoclen + cryptlen刚好大于用户输出buf的size。第三步，在用户空间使用mmap预先分配一个特殊内存区域，该区域前面是recvmsg的缓冲区，后面是另一个进程或内核对象所在的映射，并通过对齐使越界写恰好覆盖到目标地址。第四步，调用recvmsg时，在in-place路径下内核直接从tsgl复制数据到dst sg，复制长度由sg_next和len决定而不受用户buf大小限制；当crypto_aead处理时，在header区写入tag，利用AD和密文的长度差实现可控偏移的越界写。第五步，结合userfaultfd或FUSE阻塞复制过程，在复制完成后、加密完成前修改底层页表，使sg写入指向任意内核地址，从而完成任意写。最后用该原语覆盖cred结构或modprobe_path，触发本地提权。payload核心是精确控制AD和密文的相对偏移，使加密引擎的输出序列中产生越界块。

🧪 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-02 21:33