🇰🇷 한글 설명
Linux 커널 5.11.x 버전까지의 bpf verifier에서 포인터 연산 시 부적절한 경계 외 추측 실행(out-of-bounds speculation) 문제가 발견되었습니다. 이로 인해 Spectre 완화 조치를 우회하는 사이드 채널 공격이 가능해지며, 커널 메모리에서 민감한 정보를 탈취할 수 있습니다.
💡 쉬운 설명
컴퓨터가 계산을 빠르게 하려고 미리 예측하는 과정에서 보안 허점이 발생했습니다. 공격자가 이 허점을 이용해 시스템의 중요한 비밀 정보를 몰래 훔쳐볼 수 있는 문제입니다.
🇺🇸 원문 (English)
An issue was discovered in the Linux kernel through 5.11.x. kernel/bpf/verifier.c performs undesirable out-of-bounds speculation on pointer arithmetic, leading to side-channel attacks that defeat Spectre mitigations and obtain sensitive information from kernel memory. Specifically, for sequences of pointer arithmetic operations, the pointer modification performed by the first operation is not correctly accounted for when restricting subsequent operations.
📍 영향받는 시스템
Linux kernel 5.11.x 및 그 이전 버전
⚔️ 공격 벡터
eBPF 프로그램의 포인터 연산 취약점을 이용한 사이드 채널 공격
🛡️ 대응 방법
Linux 커널을 최신 보안 패치가 적용된 버전으로 업데이트
🔧 검증 코드
출력된 커널 버전이 5.11.x 이하인지 확인하여 취약 여부를 판단합니다.