🇰🇷 한글 설명
Linux 커널의 BPF 검증기에서 콜백 프레임으로부터 직접적인 테일 콜(tail call)을 수행할 때 발생하는 취약점입니다. 이 과정에서 검증기가 레지스터 상태를 잘못 추적하여 'callback unexpected regs' 오류를 발생시키며, CAP_BPF 권한을 가진 작업이 커널 경고를 유발하고 BPF 프로그램 로드를 실패하게 만듭니다.
💡 쉬운 설명
리눅스 커널의 특정 기능을 사용할 때, 프로그램이 규칙을 어기는 것처럼 잘못 인식되어 시스템이 오류를 일으키는 문제입니다. 이로 인해 특정 권한을 가진 사용자가 의도적으로 시스템 로딩을 방해할 수 있습니다.
🇺🇸 원문 (English)
In the Linux kernel, the following vulnerability has been resolved:
bpf: Reject tail calls directly from callback frames
A tail call from a non-zero frame is modeled as a return from that frame.
The verifier makes R0 unknown and calls prepare_func_exit() for the taken
branch.
When the current frame is a synchronous callback, prepare_func_exit()
enforces the callback return-value contract and marks R0 precise. Since the
tail-call path synthesized R0 rather than deriving it from an instruction,
precision backtracking reaches the callback-calling instruction with R0
still requested and triggers the "callback unexpected regs" verifier bug.
A CAP_BPF task can therefore cause a WARN and an -EFAULT BPF_PROG_LOAD.
Tail calls reachable from callbacks are already rejected later by
check_max_stack_depth(). Reject a tail call made directly by a callback
before constructing the inconsistent return state, using the existing
diagnostic. Tail calls from ordinary subprograms keep their current
behavior.
📍 영향받는 시스템
Linux kernel (BPF 기능이 활성화된 버전)
⚔️ 공격 벡터
CAP_BPF 권한을 가진 로컬 사용자가 특수하게 조작된 BPF 프로그램을 로드하여 커널 경고 및 로드 실패 유도
🛡️ 대응 방법
해당 취약점이 해결된 최신 버전의 Linux 커널로 업데이트
🔧 검증 코드
출력된 커널 버전이 해당 취약점이 패치된 배포판의 보안 업데이트 버전인지 확인