🇰🇷 한글 설명
Linux 커널의 LoongArch 아키텍처에서 BPF JIT 컴파일러가 부호 있는 32비트 나눗셈 및 나머지 연산 결과에 대해 잘못된 부호 확장(sign-extension)을 수행하는 취약점입니다. 이로 인해 JIT 컴파일된 코드의 상위 32비트가 검증기(verifier)의 예상과 다르게 설정되어 보안 모델을 우회할 수 있습니다.
💡 쉬운 설명
컴퓨터가 계산 결과를 저장할 때, 실제 계산 방식과 보안 검사 방식이 서로 달라 발생하는 오류입니다. 공격자가 이 차이를 이용해 시스템의 보안 규칙을 속이고 비정상적인 동작을 유도할 수 있습니다.
🇺🇸 원문 (English)
In the Linux kernel, the following vulnerability has been resolved:
LoongArch: BPF: Zero-extend signed ALU32 div/mod results
ALU32 operations write a 32-bit result and leave the upper 32 bits of
the BPF register zero. The LoongArch JIT sign-extends the result of
signed ALU32 BPF_DIV and BPF_MOD (off=1), so a negative 32-bit quotient
or remainder leaves bits 63:32 set in JITted code while the verifier
and interpreter model those bits as zero.
Keep sign-extension on the operands, which signed divide needs, and
zero-extend the ALU32 result after the divide or modulo instruction,
matching the unsigned ALU32 div/mod paths and every other ALU32
operation in this JIT.
📍 영향받는 시스템
LoongArch 아키텍처를 사용하는 Linux 커널 시스템
⚔️ 공격 벡터
BPF(Berkeley Packet Filter) 프로그램을 통해 잘못된 부호 확장 결과를 유도하여 커널 보안 검증 우회
🛡️ 대응 방법
LoongArch JIT 컴파일러에서 ALU32 나눗셈/나머지 연산 후 결과를 0으로 확장(zero-extend)하도록 커널 패치 적용
🔧 검증 코드
출력 결과에 loongarch가 포함되어 있다면 해당 아키텍처의 커널 취약점 영향권에 있을 수 있으므로 최신 패치 여부를 확인해야 합니다.
uname -a | grep -i loongarch