🇰🇷 한글 설명
Linux 커널의 bpf 컴포넌트 내 btf_struct_walk() 함수에서 0으로 나누기(divide-by-zero) 오류가 발생하는 취약점입니다. BTF 데이터 내에 크기가 0인 구조체 요소가 포함될 경우, 프로그램 로드 시점에 커널 패닉(Oops)을 유발할 수 있습니다.
💡 쉬운 설명
리눅스 운영체제의 핵심 기능 중 하나에서 계산 오류를 일으켜 시스템을 멈추게 할 수 있는 결함입니다. 특수한 데이터를 입력하면 컴퓨터가 갑자기 꺼지거나 오류를 일으킬 수 있습니다.
🇺🇸 원문 (English)
In the Linux kernel, the following vulnerability has been resolved:
bpf: Fix divide-by-zero in btf_struct_walk()
When an access goes past the struct and the last member is a flexible
array, btf_struct_walk() folds the offset back into a single element with
(off - moff) % t->size, but never checks that the element type has a size.
BTF takes an empty struct, so this in program BTF
/* event could be empty */
struct event {
#ifdef HAVE_TIMESTAMP
__u64 ts;
#endif
};
struct batch {
int nr;
struct event events[];
};
divides by zero at prog load time. Getting there needs a PTR_TO_BTF_ID that
is not MEM_ALLOC, e.g. a plain read of a local kptr stashed in a map from a
sleepable program.
Oops: divide error: 0000 [#1] SMP KASAN PTI
RIP: 0010:btf_struct_walk+0x53f/0x1570
Call Trace:
<TASK>
btf_struct_access+0x42a/0xcd0
check_ptr_to_btf_access+0x4dc/0x1160
check_mem_access+0x3a45/0x8740
check_load_mem+0x36a/0xd10
do_check_common+0x3ef0/0xb210
bpf_check+0x6d3b/0x8580
bpf_prog_load+0xf7c/0x2720
__sys_bpf+0xa83/0x3690
__x64_sys_bpf+0xc7/0x150
x64_sys_call+0x1f3f/0x27e0
do_syscall_64+0xe5/0x610
entry_SYSCALL_64_after_hwframe+0x76/0x7e
</TASK>
Reject a zero-sized element type. The fixed array path in the same function
already bails out on the same thing:
btf_struct_walk()
...
/* skip empty array */
if (moff == mtrue_end)
continue;
msize /= total_nelems;
📍 영향받는 시스템
Linux kernel (BTF 및 BPF 기능을 사용하는 버전)
⚔️ 공격 벡터
로컬에서 특수하게 조작된 BTF 데이터를 포함한 BPF 프로그램을 로드하여 커널 패닉 유도
🛡️ 대응 방법
해당 취약점이 수정된 최신 Linux 커널 버전으로 업데이트
🔧 검증 코드
출력된 커널 버전을 확인하여 취약점이 해결된 최신 패치 버전인지 확인합니다.