🇰🇷 한글 설명
Linux 커널의 BPF 검증기에서 NULL kptr 저장 시 정밀도(precision)를 올바르게 표시하지 않는 취약점이 발견되었습니다. 이로 인해 검증기가 특정 경로를 잘못 판단하여 공격자가 제어하는 임의의 값을 kptr 필드에 쓸 수 있게 됩니다. 결과적으로 공격자는 조작된 값을 PTR_TO_BTF_ID로 로드하여 보안 메커니즘을 우회할 수 있습니다.
💡 쉬운 설명
리눅스 운영체제의 핵심 기능 중 하나인 BPF 검증 과정에서 논리적 오류가 발생했습니다. 해커가 이 오류를 이용하면 시스템의 중요한 메모리 주소를 조작하여 보안을 무너뜨릴 수 있습니다.
🇺🇸 원문 (English)
In the Linux kernel, the following vulnerability has been resolved:
bpf: Mark NULL kptr stores precise
check_map_kptr_access() permits a scalar store into an untrusted kptr
field only when the register is known to contain zero. Unlike other
verifier checks whose outcome depends on a scalar value, it does not mark
that register precise.
A state checkpoint reached with an imprecise zero can therefore prune a
second path that reaches the store with an arbitrary nonzero scalar. The
program can write attacker-controlled bits into the kptr field and load
them back as a PTR_TO_BTF_ID.
Call mark_chain_precision() before accepting a known-zero register. This
forces state equivalence to compare its scalar range and makes the verifier
visit and reject a path carrying a nonzero value.
📍 영향받는 시스템
Linux Kernel (BPF 기능이 활성화된 버전)
⚔️ 공격 벡터
조작된 BPF 프로그램을 실행하여 검증기의 정밀도 판단 오류를 유도하고 kptr 필드에 임의의 값을 주입
🛡️ 대응 방법
해당 취약점이 수정된 최신 버전의 Linux 커널로 업데이트
🔧 검증 코드
출력된 커널 버전이 해당 취약점이 패치된 최신 릴리스 버전인지 확인