🇰🇷 한글 설명
Linux 커널 4.14.8 이하의 kernel/bpf/verifier.c에서 BPF_RSH 연산자 부호 범위 계산 오류로 로컬 사용자가 메모리 손상 또는 서비스 거부를 유발할 수 있다. eBPF 프로그램 로드 시 경계 검증 우회로 커널 메모리 접근 제어가 무효화될 수 있다.
💡 쉬운 설명
Linux 커널의 보안 검사에 수학 실수가 있어서 일반 사용자가 특정 프로그램으로 시스템을 마비시키거나 손상시킬 수 있는 취약점이다. 4.14.8 이전 커널 버전이 영향을 받는다.
🇺🇸 원문 (English)
kernel/bpf/verifier.c in the Linux kernel through 4.14.8 allows local users to cause a denial of service (memory corruption) or possibly have unspecified other impact by leveraging incorrect BPF_RSH signed bounds calculations.
📍 영향받는 시스템
Linux kernel <= 4.14.8 (모든 배포판)
⚔️ 공격 벡터
로컬 사용자가 BPF 로드 시 범위 검증을 우회하는 eBPF 프로그램으로 커널 메모리 접근
🛡️ 대응 방법
Linux 커널을 4.14.9 이상으로 업그레이드
🔧 검증 코드
VULNERABLE이면 취약 상태, PATCHED_OR_DIFFERENT가 나오면 패치됨 또는 다른 버전 사용 중
uname -r | awk -F'[-.]' '{v=4014008; cv=$1*1000000+$2*1000+($3+0); if (cv<=v) print "VULNERABLE"; else print "PATCHED_OR_DIFFERENT"}'