🇰🇷 한글 설명
리눅스 커널의 BPF 기능 중 map_kptr_match_type 함수에서 스칼라 레지스터를 처리할 때 NULL 포인터를 참조하는 취약점이 발견되었습니다. 커밋 ab6c637ad027을 통해 BTF 확인 전에 base_type을 먼저 검사하도록 로직을 수정하여 문제를 해결했습니다.
💡 쉬운 설명
리눅스 운영체제의 특정 기능이 잘못된 데이터를 처리하는 과정에서 시스템이 멈추거나 오류가 발생할 수 있는 결함입니다. 데이터의 종류를 확인하기 전에 잘못된 메모리 주소를 건드려 발생하는 문제입니다.
🇺🇸 원문 (English)
In the Linux kernel, the following vulnerability has been resolved:
bpf: Fix NULL deref in map_kptr_match_type for scalar regs
Commit ab6c637ad027 ("bpf: Fix a bpf_kptr_xchg() issue with local
kptr") refactored map_kptr_match_type() to branch on btf_is_kernel()
before checking base_type(). A scalar register stored into a kptr
slot has no btf, so the btf_is_kernel(reg->btf) call dereferences
NULL.
Move the base_type() != PTR_TO_BTF_ID guard before any reg->btf
access.
📍 영향받는 시스템
bpf_kptr_xchg() 기능을 사용하는 리눅스 커널 버전
⚔️ 공격 벡터
로컬 권한을 가진 사용자가 특수하게 조작된 BPF 프로그램을 실행하여 커널의 NULL 포인터 역참조 유도
🛡️ 대응 방법
해당 패치가 적용된 최신 리눅스 커널 버전으로 업데이트
🔧 검증 코드
출력된 커널 버전이 취약점이 해결된 패치 버전 이후인지 확인