🇰🇷 한글 설명
Linux 커널의 BPF 기능에서 tailcall과 freplace를 함께 사용할 때 무한 루프가 발생할 수 있는 취약점입니다. 이로 인해 tail_call_cnt가 초기화되어 루프를 멈추지 못하게 되며, 결국 커널 패닉을 유발하여 시스템이 중단될 수 있습니다.
💡 쉬운 설명
특정 프로그램 실행 방식이 서로 꼬이면서 컴퓨터가 끝없는 반복 작업에 빠져 멈춰버리는 문제입니다. 이로 인해 시스템이 갑자기 꺼지거나 작동을 멈출 수 있습니다.
🇺🇸 원문 (English)
In the Linux kernel, the following vulnerability has been resolved:
bpf: Prevent tailcall infinite loop caused by freplace
There is a potential infinite loop issue that can occur when using a
combination of tail calls and freplace.
In an upcoming selftest, the attach target for entry_freplace of
tailcall_freplace.c is subprog_tc of tc_bpf2bpf.c, while the tail call in
entry_freplace leads to entry_tc. This results in an infinite loop:
entry_tc -> subprog_tc -> entry_freplace --tailcall-> entry_tc.
The problem arises because the tail_call_cnt in entry_freplace resets to
zero each time entry_freplace is executed, causing the tail call mechanism
to never terminate, eventually leading to a kernel panic.
To fix this issue, the solution is twofold:
1. Prevent updating a program extended by an freplace program to a
prog_array map.
2. Prevent extending a program that is already part of a prog_array map
with an freplace program.
This ensures that:
* If a program or its subprogram has been extended by an freplace program,
it can no longer be updated to a prog_array map.
* If a program has been added to a prog_array map, neither it nor its
subprograms can be extended by an freplace program.
Moreover, an extension program should not be tailcalled. As such, return
-EINVAL if the program has a type of BPF_PROG_TYPE_EXT when adding it to a
prog_array map.
Additionally, fix a minor code style issue by replacing eight spaces with a
tab for proper formatting.
📍 영향받는 시스템
Linux Kernel (BPF 기능을 사용하는 시스템)
⚔️ 공격 벡터
BPF tailcall과 freplace를 조합하여 커널 내에서 무한 루프를 유도하는 방식
🛡️ 대응 방법
Linux 커널을 최신 보안 패치가 적용된 버전으로 업데이트하십시오.
🔧 검증 코드
출력된 커널 버전을 확인하여 해당 취약점이 해결된 최신 패치 버전인지 확인합니다.