🇰🇷 한글 설명
Linux 커널의 BPF(Berkeley Packet Filter) 구성 요소에서 Spectre v4 방어 기제인 nospec 체크 시 스택 슬롯 인덱스 계산 오류가 발견되었습니다. 이로 인해 특정 스택 쓰기 작업 시 보안 검사가 누락되어 사이드 채널 공격에 노출될 수 있는 취약점입니다.
💡 쉬운 설명
컴퓨터가 데이터를 저장할 때 보안 검사를 거쳐야 하는데, 검사하는 위치와 실제 데이터를 쓰는 위치가 서로 어긋나는 문제가 있었습니다. 이 차이를 이용하면 해커가 시스템의 민감한 정보를 몰래 훔쳐볼 수 있습니다.
🇺🇸 원문 (English)
In the Linux kernel, the following vulnerability has been resolved:
bpf: Fix stack slot index in nospec checks
check_stack_write_fixed_off() computes the byte slot for a fixed-offset
stack write as -off - 1, and records each written byte in slot_type[] with
(slot - i) % BPF_REG_SIZE.
The Spectre v4 sanitization pre-check uses slot_type[i] instead. For a
4-byte write at fp-8 after the lower half of fp-8 has been zeroed, the
pre-check scans bytes 0..3 and sees STACK_ZERO while the actual write updates
bytes 7..4. That can leave the second half-slot write without nospec_result
even though the bytes being overwritten still require sanitization.
Use the same slot index in the sanitization pre-check that the write path uses
when updating slot_type[].
📍 영향받는 시스템
Linux Kernel (BPF 기능이 활성화된 버전)
⚔️ 공격 벡터
Spectre v4와 같은 사이드 채널 공격을 통한 메모리 정보 유출
🛡️ 대응 방법
Linux 커널을 최신 보안 패치가 적용된 버전으로 업데이트하십시오.
🔧 검증 코드
출력된 커널 버전이 해당 취약점이 해결된 패치 버전 이후인지 확인하십시오.