🇰🇷 한글 설명
Linux 커널 5.8.15 이전 버전의 kernel/bpf/verifier.c 내 scalar32_min_max_or 함수에서 64비트 값 사용 시 경계 추적을 잘못 처리하는 문제가 발견되었습니다. 이로 인해 BPF 검증기(verifier)가 데이터의 범위를 정확하게 판단하지 못할 수 있습니다.
💡 쉬운 설명
리눅스 운영체제의 핵심 엔진인 커널에서 숫자의 크기를 계산할 때 실수를 하는 버그가 발견되었습니다. 이 실수를 이용하면 공격자가 시스템의 보안 규칙을 우회하여 허용되지 않은 동작을 수행할 수 있습니다.
🇺🇸 원문 (English)
An issue was discovered in the Linux kernel before 5.8.15. scalar32_min_max_or in kernel/bpf/verifier.c mishandles bounds tracking during use of 64-bit values, aka CID-5b9fbeb75b6a.
📍 영향받는 시스템
Linux kernel versions prior to 5.8.15
⚔️ 공격 벡터
로컬 공격자가 특수하게 조작된 BPF(Berkeley Packet Filter) 프로그램을 로드하여 커널 검증기를 우회함
🛡️ 대응 방법
Linux 커널을 5.8.15 버전 이상으로 업데이트하거나 최신 보안 패치를 적용하십시오.
🔧 검증 코드
출력된 커널 버전이 5.8.15 미만인지 확인하여 취약 여부를 판단합니다.