🇰🇷 한글 설명
Linux 커널의 BPF 검증자(verifier)에서 32비트 ALU 연산을 잘못 처리하여 로컬 사용자가 메모리 손상을 야기하거나 다른 영향을 줄 수 있는 취약점입니다. 커널 버전 4.14.8 이하에서 발생합니다.
💡 쉬운 설명
Linux 운영체제의 핵심 부분(커널)에 버그가 있어서, 같은 컴퓨터에 접근할 수 있는 사용자가 시스템을 먹통으로 만들거나 손상시킬 수 있습니다. 특정한 방식의 명령을 실행해서 이 버그를 이용할 수 있습니다.
🇺🇸 원문 (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 mishandling of 32-bit ALU ops.
📍 영향받는 시스템
Linux kernel 4.14.8 및 그 이전 버전 (3.x, 4.0-4.14.8 포함)
⚔️ 공격 벡터
로컬 접근이 있는 사용자가 BPF 프로그램을 통해 잘못된 32비트 ALU 연산을 실행하여 메모리 손상 유발
🛡️ 대응 방법
Linux 커널을 4.14.9 이상 또는 해당 안정 버전(4.13.16+, 4.9.62+ 등)으로 업그레이드
🔧 검증 코드
현재 커널 버전을 확인하여 4.14.8 이하이면 'VULNERABLE', 그 이상이면 'PATCHED'를 출력합니다.
uname -r | awk -F'[.-]' '{a=$1*10000+$2*100+$3; if(a<=41408) print "VULNERABLE"; else print "PATCHED"}'