🇰🇷 한글 설명
Linux 커널의 BPF 컴파일러에서 collect_linked_regs() 함수가 스칼라 ID를 적절히 처리하지 못해 발생하는 취약점입니다. 이로 인해 sync_linked_regs()가 bpf_bt_sync_linked_regs()의 정밀도를 초과하여 레지스터 범위를 조정할 수 있는 문제가 있었습니다. 이를 해결하기 위해 스냅샷을 찍기 전에 연결된 레지스터를 먼저 수집하도록 수정되었습니다.
💡 쉬운 설명
컴퓨터의 핵심 운영체제인 리눅스 내부에서 데이터를 처리할 때, 계산 과정에서 정보가 꼬여서 잘못된 결과가 나올 수 있는 오류입니다. 이 오류를 방지하기 위해 데이터를 기록하는 순서를 안전하게 변경하여 문제를 해결했습니다.
🇺🇸 원문 (English)
In the Linux kernel, the following vulnerability has been resolved:
bpf: Don't resurrect a scalar id dropped by collect_linked_regs()
check_cond_jmp_op() copies the compared registers into
env->{false,true}_reg{1,2} before collect_linked_regs() runs and copies
those snapshots back into both branch states afterwards.
collect_linked_regs() records at most LINKED_REGS_MAX members of a
linked registers group in the jump history and calls clear_scalar_id()
for every member that does not fit. The compared register is not exempt
from that.
As a consequence, sync_linked_regs() might adjust ranges for more
registers than bpf_bt_sync_linked_regs() can propagate precision to.
Collect the linked registers before the snapshots are taken instead.
This might lead to some unnecessary clear_scalar_id's, but from
previous testing situations with many linked registers are
extremely rare.
📍 영향받는 시스템
Linux Kernel (BPF 관련 기능이 활성화된 버전)
⚔️ 공격 벡터
특수하게 조작된 BPF 프로그램을 로드하여 커널의 레지스터 상태 및 정밀도 계산 오류를 유도
🛡️ 대응 방법
최신 보안 패치가 적용된 Linux 커널 버전으로 업데이트
🔧 검증 코드
출력된 커널 버전이 해당 취약점이 수정된 패치 버전 이후인지 확인