CVE-2026-31413

요약

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 명령을 재실행하고 모든 opcode에 대해 자연스럽게 올바른 결과를 계산하도록 합니다.

• CVE-2026-31413-BPF-Container-Escape익스플로잇

  CVE-2026-31413: BPF 검증기 건전성 버그 - 컨테이너 탈출