🇰🇷 한글 설명
Linux 커널의 BPF 컴파일러에서 arena 32비트 cmpxchg 연산 시 결과값에 대한 제로 확장(zero extension)이 누락되는 취약점이 발견되었습니다. 특정 아키텍처에서 32비트 원자적 연산 시 상위 비트가 올바르게 처리되지 않아 BPF의 동작 의미론과 일치하지 않는 문제가 발생할 수 있습니다.
💡 쉬운 설명
컴퓨터가 아주 빠르게 데이터를 처리하는 과정에서 계산 결과의 일부를 0으로 채워줘야 하는데, 이 과정을 건너뛰어 잘못된 값이 저장될 수 있는 문제입니다. 이로 인해 프로그램이 예상치 못한 방식으로 동작하거나 보안 오류가 발생할 수 있습니다.
🇺🇸 원문 (English)
In the Linux kernel, the following vulnerability has been resolved:
bpf: zero extend the result of an arena 32-bit cmpxchg
bpf_convert_ctx_accesses() rewrites an atomic on an arena pointer from
BPF_STX | BPF_ATOMIC to BPF_STX | BPF_PROBE_ATOMIC, and it runs before
bpf_opt_subreg_zext_lo32_rnd_hi32().
That pass emits an explicit zero extension for a 32-bit cmpxchg even
when bpf_jit_needs_zext() is false. This is done because on some
architectures 32-bit cmpxchg requires explicit zero extension for the
dst register. E.g. on x86-64 'lock cmpxchg' does not change the %eax
if comparison is successful, while BPF semantics declare that each
operation on a 32-bit register zero extends it's upper half.
is_cmpxchg_insn() matches BPF_MODE == BPF_ATOMIC only, so an arena
cmpxchg misses said zero extension adjustment. This patch adjusts
is_cmpxchg_insn() to match BPF_PROBE_ATOMIC alongside BPF_ATOMIC.
📍 영향받는 시스템
Linux Kernel (BPF 기능을 사용하는 모든 시스템)
⚔️ 공격 벡터
특수하게 조작된 BPF 프로그램을 로드하여 커널 메모리 내의 원자적 연산 결과값을 왜곡함
🛡️ 대응 방법
해당 취약점이 수정된 최신 버전의 Linux 커널로 업데이트
🔧 검증 코드
출력된 커널 버전이 해당 패치가 적용된 보안 업데이트 버전인지 확인