🇰🇷 한글 설명
리눅스 커널의 BPF 구현에서 MEM_ALLOC BTF 접근 시 객체 경계를 초과하는 접근을 허용하는 취약점이 발견되었습니다. BTF 구조체 탐색 과정에서 가변 길이 배열에 대한 크기 검사가 완화되어, 할당된 정적 크기를 벗어난 메모리 접근이 가능할 수 있습니다. 이를 해결하기 위해 메모리 할당 객체 탐색 시 구조체 크기를 초과하는 접근을 거부하도록 수정되었습니다.
💡 쉬운 설명
컴퓨터의 핵심 운영체제인 리눅스에서 메모리 경계를 넘어서 데이터를 읽거나 쓸 수 있는 보안 허점이 발견되었습니다. 이 허점을 이용하면 시스템의 중요한 정보를 몰래 훔쳐보거나 조작할 위험이 있습니다.
🇺🇸 원문 (English)
In the Linux kernel, the following vulnerability has been resolved:
bpf: Reject MEM_ALLOC BTF accesses past object bounds
BTF struct walks relax the struct-size check for accesses through a
trailing flexible array. That is valid for ordinary BTF type walking, but
PTR_TO_BTF_ID | MEM_ALLOC values point to objects allocated with the static
BTF type size.
When walking a MEM_ALLOC object, reject the access before applying the
flexible-array relaxation if the access range extends past the struct size.
Apply the same policy to struct ID matching so kfunc and kptr type checks
do not walk past the allocated object bounds either.
📍 영향받는 시스템
BTF(BPF Type Format) 기능을 사용하는 리눅스 커널 버전
⚔️ 공격 벡터
BPF 프로그램을 통해 할당된 메모리 객체의 경계를 초과하여 메모리에 접근하는 방식
🛡️ 대응 방법
해당 취약점이 수정된 최신 버전의 리눅스 커널로 업데이트
🔧 검증 코드
출력된 커널 버전이 취약점이 패치된 최신 보안 업데이트 버전인지 확인