🇰🇷 한글 설명
Linux 커널의 vsock/virtio 구성 요소에서 virtio_transport_get_credit() 함수 내 부호 없는 산술 연산 시 언더플로우가 발생할 수 있는 취약점이 발견되었습니다. 피어(peer) 측의 버퍼 크기가 줄어들 경우 계산 오류로 인해 매우 큰 양수 값이 생성되어, 상대방이 처리할 수 있는 양보다 더 많은 데이터를 큐에 쌓을 수 있습니다.
💡 쉬운 설명
데이터를 주고받는 통로에서 남은 용량을 계산할 때 계산 오류가 발생하여, 상대방이 감당할 수 없는 양의 데이터를 한꺼번에 보내버릴 수 있는 문제입니다. 이로 인해 시스템의 데이터 처리 흐름에 혼란을 줄 수 있습니다.
🇺🇸 원문 (English)
In the Linux kernel, the following vulnerability has been resolved:
vsock/virtio: fix potential underflow in virtio_transport_get_credit()
The credit calculation in virtio_transport_get_credit() uses unsigned
arithmetic:
ret = vvs->peer_buf_alloc - (vvs->tx_cnt - vvs->peer_fwd_cnt);
If the peer shrinks its advertised buffer (peer_buf_alloc) while bytes
are in flight, the subtraction can underflow and produce a large
positive value, potentially allowing more data to be queued than the
peer can handle.
Reuse virtio_transport_has_space() which already handles this case and
add a comment to make it clear why we are doing that.
[Stefano: use virtio_transport_has_space() instead of duplicating the code]
[Stefano: tweak the commit message]
📍 영향받는 시스템
Linux kernel (vsock/virtio 모듈 사용 환경)
⚔️ 공격 벡터
통신 상대방(peer)이 광고하는 버퍼 크기를 의도적으로 줄여 계산 오류를 유도하는 방식
🛡️ 대응 방법
virtio_transport_has_space() 함수를 사용하는 최신 Linux 커널로 업데이트
🔧 검증 코드
출력된 커널 버전이 해당 취약점이 패치된 최신 보안 업데이트 버전인지 확인