🇰🇷 한글 설명
Linux 커널의 BPF 검증기에서 상태 가지치기(state pruning) 시 반복자(iterator) 유형을 올바르게 비교하지 않는 취약점입니다. 스택 슬롯의 메모리 상태가 서로 다름에도 동일하게 처리될 경우, 검증기가 안전하지 않은 경로를 허용할 수 있습니다.
💡 쉬운 설명
컴퓨터의 보안 검사관이 데이터의 종류를 착각하여 위험한 통로를 안전하다고 잘못 판단하는 문제입니다. 이로 인해 공격자가 시스템의 보안 규칙을 우회할 가능성이 있습니다.
🇺🇸 원문 (English)
In the Linux kernel, the following vulnerability has been resolved:
bpf: Compare iterator types during state pruning
An iterator stack slot can be MEM_RCU or PTR_UNTRUSTED. These states
must not be equal, or the verifier can prune an unsafe path.
Compare the pointer type for STACK_ITER slots.
📍 영향받는 시스템
BPF 기능을 사용하는 Linux 커널 버전 (패치 적용 전 버전)
⚔️ 공격 벡터
조작된 BPF 프로그램을 로드하여 커널 검증기의 논리적 오류를 유도하고 권한 상승 시도
🛡️ 대응 방법
Linux 커널을 최신 보안 패치가 적용된 버전으로 업데이트
🔧 검증 코드
출력된 커널 버전을 확인하여 해당 취약점이 해결된 최신 버전인지 보안 공지사항과 대조