
BPF LSMブロッカー for CVE-2026-31431 (Copy Fail) - OpenShift 4向けゼロリブート修復
CVE-2026-31431(「Copy Fail」)は、Linuxカーネルのalgif_aead暗号インターフェースにおける権限昇格の脆弱性です。攻撃者はauthencesnアルゴリズムを使用したAF_ALGソケットとsplice()を利用して、カーネルページキャッシュ内の任意のファイル(/usr/bin/suなどのsetuidバイナリを含む)を破損させることができます。
本ドキュメントでは、Copy Failで悪用されるサブシステムであるAF_ALG AEADバインドをすべてブロックするBPF LSM DaemonSetを使用した、再起動不要の修復策を提供します。これにより、暗号テンプレートのネスト(例:pcrypt(authencesn(...)))によるバイパスを防ぎます。他のAF_ALGの使用(hash、skcipher)には影響しません。3つの独立したOCP 4.22クラスターでエンドツーエンドのテスト済みです。
# 1. BPF LSMが有効であることを確認(RHEL CoreOS 9.8ではデフォルトで有効)
oc debug node/<任意のノード> -- chroot /host cat /sys/kernel/security/lsm
# 出力に "bpf" が含まれている必要があります
# 2. ネームスペースをデプロイし、特権SCCを付与
oc apply -f daemonset.yaml
# 3. DaemonSetポッドは全ノードで自動的に起動します
# 4. 確認
oc get pods -n block-copyfail # 全ノードで Running 状態になるはずです
oc logs -n block-copyfail -l app=block-copyfail
# 期待される出力: "block-copyfail: blocker active — all AF_ALG AEAD binds blocked"
再起動は不要です。ノードのドレインも不要です。ポッドの再起動も不要です。保護は即座に有効になり、全ノードのすべてのプロセスをカバーします(100%のカバレッジ)。
このエクスプロイトは、カーネルの3つの機能を連鎖させます:
socket(AF_ALG, SOCK_SEQPACKET, 0) を介してカーネル暗号へのユーザースペースハンドルを作成authencesn(hmac(sha256),cbc(aes)) にバインド攻撃者は(ファイルへの書き込みアクセスなしで)ページキャッシュ内の /usr/bin/su を破損させ、それを実行してrootを取得します。
クラスター上に新しい cve-2026-31431-test ネームスペースを作成し、test ディレクトリ内のマニフェストを適用してテストスクリプトを実行します:
oc apply -f test
結果を確認します:
oc wait pod/cve-test -n cve-2026-31431-test \
--for=jsonpath='{.status.phase}'=Succeeded --timeout=120s
oc -n cve-2026-31431-test logs -l app=cve-2026-31431-test
脆弱なクラスターでは、以下の出力が表示されます:
=== CVE-2026-31431 Vulnerability Test ===
Target: /usr/bin/su
Original SHA256: 8969560ae8e6e21c6184c1451f59418822ee69dd5d946d71987b55236bbc0feb
Attempting splice + AF_ALG page-cache corruption (160 bytes in 40 chunks)...
After SHA256: 30b0f5b5a054c4df65b48ca792863bf7054b4d793f15f57163792ba6c2b151ae
PAGE CACHE CORRUPTION: YES - /usr/bin/su was modified in the page cache
Attempting to execute corrupted /usr/bin/su ...
exit code: 0
RESULT: PARTIALLY MITIGATED
Page-cache corruption succeeded (kernel is vulnerable)
Privilege escalation blocked (allowPrivilegeEscalation=false)
oc delete namespace cve-2026-31431-test
BPF LSMアプローチは、カーネルレベルで socket_bind をフックし、テンプレートのネストに関係なくすべてのAF_ALG AEADバインドをブロックします。block-copyfail に基づいており、OCPデプロイ用にlibbpfを使用してCで書き直されています。
BPF LSMが有効である必要があります。RHEL CoreOS 9.8(OCP 4.22)ではデフォルトで有効です。以下で確認します:
oc debug node/<任意のノード> -- chroot /host cat /sys/kernel/security/lsm
期待される出力には bpf が含まれます:
lockdown,capability,landlock,yama,selinux,bpf
bpf が存在しない場合、一度だけのMachineConfigが必要です(再起動が必要となる唯一のシナリオです):
apiVersion: machineconfiguration.openshift.io/v1
kind: MachineConfig
metadata:
labels:
machineconfiguration.openshift.io/role: worker
name: 99-enable-bpf-lsm
spec:
kernelArguments:
- lsm=lockdown,capability,selinux,bpf
新しい block-copyfail ネームスペースを作成し、SCCを付与し、daemonset.yaml マニフェストを適用してDaemonSetをデプロイします。
DaemonSetポッドが作成される前に特権SCCを付与する必要があります。そうしないと、SCC検証エラーでポッドの作成が失敗します。
oc apply -f daemonset.yaml
oc get pods -n block-copyfail -o wide
期待される結果:ノードごとに1つのポッド、すべて Running 状態:
NAME READY STATUS AGE NODE
block-copyfail-2jhzf 1/1 Running 34s ci-...-master-2
block-copyfail-4dfq7 1/1 Running 34s ci-...-master-1
block-copyfail-c2ts8 1/1 Running 34s ci-...-worker-c
block-copyfail-ctblk 1/1 Running 34s ci-...-worker-a
block-copyfail-m26sx 1/1 Running 34s ci-...-worker-b
block-copyfail-xsh6d 1/1 Running 34s ci-...-master-0
oc logs -n block-copyfail -l app=block-copyfail
期待される出力:
block-copyfail: blocker active — all AF_ALG AEAD binds blocked
脆弱性の確認セクションと同じエクスプロイトテストを再実行します。
BPF LSM DaemonSetのデプロイ後、出力は以下のようになります:
=== CVE-2026-31431 Vulnerability Test ===
Target: /usr/bin/su
Original SHA256: 30b0f5b5a054c4df65b48ca792863bf7054b4d793f15f57163792ba6c2b151ae
Attempting splice + AF_ALG page-cache corruption (160 bytes in 40 chunks)...
AF_ALG bind failed: [Errno 1] Operation not permitted
RESULT: CANNOT TEST - AF_ALG or splice not available/permitted
DaemonSetのログには、ブロックされた試行が表示されます:
oc logs -n block-copyfail -l app=block-copyfail
block-copyfail: blocker active — all AF_ALG AEAD binds blocked
block-copyfail: BLOCKED pid=16777 comm=python3 time=2026-05-01 16:37:23
ノード上で verify-algos.py を実行し、すべてのAEADアルゴリズムがブロックされ、他のAF_ALGタイプ(hash、skcipher)が引き続き動作することを確認します:
oc debug node/<任意のノード> -- chroot /host python3 -c "
import socket
tests = [
('aead', 'gcm(aes)'),
('aead', 'ccm(aes)'),
('aead', 'rfc4106(gcm(aes))'),
('hash', 'sha256'),
('skcipher', 'cbc(aes)'),
('aead', 'authencesn(hmac(sha256),cbc(aes))'),
]
for t, n in tests:
s = socket.socket(socket.AF_ALG, socket.SOCK_SEQPACKET, 0)
try:
s.bind((t, n))
print(f' ALLOWED {t}/{n}')
except OSError as e:
print(f' BLOCKED {t}/{n} -- {e}')
finally:
s.close()
"
期待される出力:
BLOCKED aead/gcm(aes) -- [Errno 1] Operation not permitted
BLOCKED aead/ccm(aes) -- [Errno 1] Operation not permitted
BLOCKED aead/rfc4106(gcm(aes)) -- [Errno 1] Operation not permitted
ALLOWED hash/sha256
ALLOWED skcipher/cbc(aes)
BLOCKED aead/authencesn(hmac(sha256),cbc(aes)) -- [Errno 1] Operation not permitted
これにより、BPF LSMが他のAF_ALGタイプを機能させたまま、すべてのAEADバインドをブロックすることが確認できます。
BPF LSMブロッカーのソースは block-copyfail/ にあります:
block-copyfail/
block_copyfail.bpf.c # BPFカーネルプログラム(LSMフック)
block_copyfail.c # ユーザースペースローダー(libbpfスケルトン)
block_copyfail.h # 共有イベント構造体
Makefile # ビルドパイプライン
Dockerfile # マルチステージビルド
daemonset.yaml # ネームスペース + DaemonSetマニフェスト
trigger-test.py # クイック検証スクリプト
ビルドとプッシュ:
cd block-copyfail/
podman build -t quay.io/<org>/block-copyfail:latest .
podman push quay.io/<org>/block-copyfail:latest
Dockerfileはマルチステージビルドを使用します:コンパイルにはclang/bpftool/libbpf-develを備えたFedora、ランタイムイメージにはUBI 9 minimal(約122 MB)を使用します。
DaemonSetを削除すると、全ノードの緩和策が即座に削除されます:
oc delete -f daemonset.yaml
# または
oc delete namespace block-copyfail
BPFプログラムは、ローダープロセスが終了すると自動的にデタッチされます。再起動やポッドの再起動は不要です。