🇰🇷 한글 설명
Linux 커널의 BPF verifier에서 check_stack_boundary 함수가 유효하지 않은 변수 스택 읽기 작업을 제대로 검증하지 못합니다. 로컬 사용자가 이를 악용하면 메모리 손상이나 권한 상승을 통해 시스템을 장악할 수 있습니다.
💡 쉬운 설명
Linux 운영체제 내부의 특정 기능(BPF)이 메모리 접근을 제대로 확인하지 않아, 컴퓨터에 접근 가능한 사용자가 시스템을 충돌시키거나 제어할 수 있습니다. 커널 버전 4.14.8 이하에서 발생합니다.
🇺🇸 원문 (English)
The check_stack_boundary function in 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 invalid variable stack read operations.
📍 영향받는 시스템
Linux kernel 4.14.8 이하 (2.6.x 포함 대부분의 4.x 버전)
⚔️ 공격 벡터
로컬 사용자 권한으로 악의적인 BPF 프로그램을 로드하여 스택 경계 검증 우회 후 메모리 접근
🛡️ 대응 방법
Linux kernel을 4.14.9 이상으로 업그레이드 또는 배포판의 백포트 패치 적용
🔧 검증 코드
출력된 커널 버전이 4.14.8 이하면 취약합니다. 4.14.9 이상이거나 5.0 이상이면 패치되었습니다.