🇰🇷 한글 설명
Linux 커널의 BPF(Berkeley Packet Filter) 구현에서 NULL 호출 인자 처리가 정확하지 않아 발생하는 취약점입니다. check_func_arg()와 check_helper_call() 함수에서 스칼라 레지스터의 정밀도(precise)를 올바르게 표시하지 않아, 체크포인트 생성 시 임의의 스칼라 값에 대해 잘못된 가지치기(pruning)가 발생할 수 있습니다.
💡 쉬운 설명
컴퓨터 프로그램이 데이터를 처리할 때 특정 값이 비어있는지(NULL) 확인하는 과정에서 실수가 발생하는 문제입니다. 이 실수로 인해 시스템이 잘못된 데이터를 정상적인 것으로 착각하여 보안 검사를 우회할 위험이 있습니다.
🇺🇸 원문 (English)
In the Linux kernel, the following vulnerability has been resolved:
bpf: mark a NULL call argument precise
check_func_arg() allows bpf_register_is_null() for nullable arguments
w/o marking the underlying scalar register precise. Hence a checkpoint
created on such a path would prune against arbitrary scalar value.
check_helper_call() enforces second parameter of the
bpf_get_local_storage() to be zero, w/o marking the underlying scalar
register precise. Hence a checkpoint created on such a path would
prune against arbitrary scalar value.
Grouping these two into one patch, as they share the same fixes tag.
📍 영향받는 시스템
Linux Kernel (BPF 기능이 활성화된 버전)
⚔️ 공격 벡터
조작된 BPF 프로그램을 로드하여 커널의 스칼라 레지스터 정밀도 검사 로직을 우회하는 방식
🛡️ 대응 방법
Linux 커널을 최신 보안 패치가 적용된 버전으로 업데이트하십시오.
🔧 검증 코드
출력된 커널 버전이 해당 취약점이 수정된 패치 버전 이후인지 확인하십시오.