🇰🇷 한글 설명
Linux 커널의 BPF 구현에서 BPF_F_PREORDER 플래그를 사용할 때 effective prog array의 인덱스를 잘못 계산하는 취약점이 발견되었습니다. 이로 인해 잘못된 슬롯이 덮어씌워져 데이터가 손상되거나, 프로그램 참조가 잘못 관리되어 Use-After-Free(UAF) 취약점이 발생할 수 있습니다.
💡 쉬운 설명
리눅스 커널의 특정 기능을 사용할 때 프로그램이 저장되는 위치를 잘못 계산하여 시스템 데이터가 망가질 수 있는 오류입니다. 이 오류를 악용하면 메모리 관리 오류를 일으켜 시스템 보안을 위협할 수 있습니다.
🇺🇸 원문 (English)
In the Linux kernel, the following vulnerability has been resolved:
bpf: Fix effective prog array index with BPF_F_PREORDER
replace_effective_prog() and purge_effective_progs() located the slot in
the effective array by walking the program hlist and counting entries
linearly. That count does not match the array layout: compute_effective_
progs() places BPF_F_PREORDER programs at the front (ancestor cgroup
first, attach order within a cgroup) and the rest after them (descendant
cgroup first). So when a preorder program is present, the linear hlist
position no longer equals the program's index in the effective array.
For replace_effective_prog() (bpf_link_update()) this overwrote the
wrong slot, corrupting the effective order. For purge_effective_progs(),
it could dummy out a slot belonging to a different program and leave the
detached program in the array while bpf_prog_put() drops its reference,
i.e. a use-after-free.
Fix both by replaying compute_effective_progs()'s placement (including
the per-cgroup preorder reversal) in a shared effective_prog_pos()
helper. Identify the entry by its struct bpf_prog_list pointer rather
than by (prog, link) value, so the lookup resolves to exactly the
attachment the syscall selected even when the same bpf_prog is attached
to several cgroups in the hierarchy.
📍 영향받는 시스템
BPF_F_PREORDER 플래그를 사용하는 Linux Kernel (패치 전 버전)
⚔️ 공격 벡터
특정 BPF 시스템 콜(bpf_link_update 등)을 호출하여 메모리 레이아웃 불일치를 유도하는 방식
🛡️ 대응 방법
해당 취약점이 해결된 최신 버전의 Linux 커널로 업데이트하십시오.
🔧 검증 코드
출력된 커널 버전을 확인하여 해당 취약점이 수정된 최신 보안 패치 버전인지 확인하십시오.