🇰🇷 한글 설명
Linux 커널의 BPF rbtree 구현에서 콜백 함수 실행 중 조상 프레임을 제대로 검사하지 않아 발생하는 취약점입니다. 이로 인해 콜백 함수 내에서 잠금 해제나 노드 삭제가 가능해져, 잘못된 포인터를 참조하거나 해제된 메모리를 사용하는 Use-After-Free 오류가 발생할 수 있습니다.
💡 쉬운 설명
컴퓨터의 데이터를 정리하는 과정에서 규칙을 어기고 데이터를 마음대로 지우거나 수정할 수 있는 허점이 발견되었습니다. 공격자가 이 허점을 이용하면 시스템의 메모리를 망가뜨려 오류를 일으키거나 제어권을 얻을 수 있습니다.
🇺🇸 원문 (English)
In the Linux kernel, the following vulnerability has been resolved:
bpf: Check ancestor frames for rbtree callbacks
bpf_rbtree_add() invokes its comparator while the caller holds the root
lock. The native insertion code retains raw parent and link pointers across
the callback, so the verifier prohibits unlocking, consuming tree nodes,
or changing RCU state from that callback.
in_rbtree_lock_required_cb() only checks the innermost verifier frame.
Static subprogram calls are permitted while holding a spin lock, and such a
call pushes a frame without in_callback_fn set. Consequently, all callback
restrictions disappear in the nested frame. The subprogram can unlock the
tree, remove and drop the node being compared, then relock. Native insertion
resumes with the stale parent pointer and links freed memory into the tree.
Walk all active frames for the rbtree callback instead. Benign static
subprograms remain permitted, while callback restrictions follow execution
into nested frames.
📍 영향받는 시스템
Linux kernel (BPF rbtree 관련 기능이 활성화된 버전)
⚔️ 공격 벡터
BPF 프로그램을 통해 rbtree 콜백 함수 내에서 잠금 해제 및 노드 삭제를 유도하는 정적 서브프로그램 호출
🛡️ 대응 방법
Linux 커널을 최신 보안 패치가 적용된 버전으로 업데이트하여 rbtree 콜백 프레임 검사 로직을 적용해야 합니다.
🔧 검증 코드
출력된 커널 버전이 해당 취약점이 해결된 최신 패치 버전인지 배포판 보안 공지를 통해 확인하십시오.