🇰🇷 한글 설명
Linux 커널의 eBPF ALU32 경계 추적 기능이 비트 연산(AND, OR, XOR) 시 32비트 경계를 적절히 업데이트하지 못하는 취약점입니다. 이로 인해 커널 내에서 경계 외 읽기 및 쓰기가 발생할 수 있으며, 결과적으로 임의 코드 실행이 가능해질 수 있습니다.
💡 쉬운 설명
리눅스 운영체제의 특정 기능을 처리할 때 계산 범위가 잘못 계산되는 오류가 있습니다. 해커가 이 오류를 이용해 컴퓨터의 중요한 영역을 마음대로 읽거나 조작하여 시스템을 장악할 수 있습니다.
🇺🇸 원문 (English)
The eBPF ALU32 bounds tracking for bitwise ops (AND, OR and XOR) in the Linux kernel did not properly update 32-bit bounds, which could be turned into out of bounds reads and writes in the Linux kernel and therefore, arbitrary code execution. This issue was fixed via commit 049c4e13714e ("bpf: Fix alu32 const subreg bound tracking on bitwise operations") (v5.13-rc4) and backported to the stable kernels in v5.12.4, v5.11.21, and v5.10.37. The AND/OR issues were introduced by commit 3f50f132d840 ("bpf: Verifier, do explicit ALU32 bounds tracking") (5.7-rc1) and the XOR variant was introduced by 2921c90d4718 ("bpf:Fix a verifier failure with xor") ( 5.10-rc1).
📍 영향받는 시스템
Linux kernel v5.7-rc1 ~ v5.13-rc4 미만 버전 (v5.12.4, v5.11.21, v5.10.37 미만 포함)
⚔️ 공격 벡터
eBPF 프로그램을 통해 잘못된 비트 연산을 수행하여 커널 메모리의 경계를 벗어나는 공격
🛡️ 대응 방법
커널을 최신 보안 패치가 적용된 버전(v5.13-rc4 이상 또는 백포트된 안정 버전)으로 업데이트
🔧 검증 코드
출력된 커널 버전이 취약점이 해결된 버전(v5.13-rc4 이상 또는 v5.12.4, v5.11.21, v5.10.37 이후 패치 버전)인지 확인