🇰🇷 한글 설명
Linux 커널 4.9.x~4.9.71 버전의 kernel/bpf/verifier.c에서 포인터 값과 BPF 스택 간의 관계를 검증하지 않는 취약점입니다. 로컬 사용자가 BPF 프로그램을 통해 정수 오버플로우 또는 잘못된 메모리 접근을 유발하여 서비스 거부(DoS) 또는 더 심각한 영향을 미칠 수 있습니다.
💡 쉬운 설명
Linux 커널의 BPF 필터 검증 기능에 결함이 있어 로컬 사용자가 악의적인 프로그램을 실행하여 시스템을 마비시킬 수 있습니다. 이는 메모리 보호 검증의 부재로 인한 심각한 보안 문제입니다.
🇺🇸 원문 (English)
kernel/bpf/verifier.c in the Linux kernel 4.9.x through 4.9.71 does not check the relationship between pointer values and the BPF stack, which allows local users to cause a denial of service (integer overflow or invalid memory access) or possibly have unspecified other impact.
📍 영향받는 시스템
Linux kernel 4.9.0 ~ 4.9.71
⚔️ 공격 벡터
로컬 사용자가 BPF 프로그램을 시스템에 로드하여 정수 오버플로우 또는 유효하지 않은 메모리 접근 유발
🛡️ 대응 방법
Linux 커널을 4.9.72 이상으로 업그레이드하거나 해당 버전에 대한 보안 패치 적용
🔧 검증 코드
명령어 실행 결과로 버전 번호가 출력되면 취약 버전(4.9.0~4.9.71), 아무것도 출력되지 않으면 안전 버전 또는 다른 커널 버전
uname -r | grep -E '^4\.9\.(([0-6][0-9]|7[01])[^0-9]|$)'