🇰🇷 한글 설명
Linux 커널의 batman-adv 모듈 내 tp_meter 기능에서 0으로 나누기(divide-by-zero) 오류가 발생할 수 있는 취약점입니다. cwnd 값이 특정 임계값에 도달할 경우 32비트 정수 오버플로가 발생하여 분모가 0이 되는 계산 오류가 발생합니다.
💡 쉬운 설명
컴퓨터가 수학 계산을 하던 중 숫자가 너무 커져서 갑자기 0으로 변하는 바람에, 0으로 나누기라는 계산 불가능한 상황이 발생하는 문제입니다. 이로 인해 시스템의 네트워크 관련 기능이 오작동할 수 있습니다.
🇺🇸 원문 (English)
In the Linux kernel, the following vulnerability has been resolved:
batman-adv: tp_meter: avoid divide-by-zero for dec_cwnd
The cwnd is always MSS <= cwnd <= 0x20000000. But the calculation in
batadv_tp_update_cwnd() assumes unsigned 32 bit arithmetics.
((mss * 8) ** 2) / (cwnd * 8)
In case cwnd is actually 0x20000000, it will be shifted by 3 bit to the
left end up at 0x100000000 or U32_MAX + 1. It will therefore wrap around
and be 0 - resulting in:
((mss * 8) ** 2) / 0
This is of course invalid and cannot be calculated. The calculation should
must be simplified to avoid this overflow:
(mss ** 2) * 8 / cwnd
It will keep the precision enhancement from the scaling (by 8) but avoid
the overflow in the divisor.
In theory, there could still be an overflow in the dividend. It is at the
moment fixed to BATADV_TP_PLEN in batadv_tp_recv_ack() - so it is not an
imminent problem. But allowing it to use the whole u32 bit range, would
mean that it can still use up to 67 bits. To keep this calculation safe for
32 bit arithmetic, mss must never use more than floor((32 - 3) / 2) bits -
or in other words: must never be larger than 16383.
📍 영향받는 시스템
Linux kernel (batman-adv 모듈 사용 시)
⚔️ 공격 벡터
특정 네트워크 트래픽 조건(cwnd 값이 0x20000000에 도달)을 유도하여 발생
🛡️ 대응 방법
Linux 커널을 최신 보안 패치가 적용된 버전으로 업데이트하여 계산식을 수정해야 합니다.
🔧 검증 코드
출력된 커널 버전이 해당 취약점이 수정된 패치 버전 이후인지 확인합니다.