🇰🇷 한글 설명
Linux 커널의 dm-verity-fec 구성 요소에서 패리티 바이트가 블록 경계에 걸쳐 있을 때 이를 잘못 읽는 취약점이 발견되었습니다. 특정 조건에서 데이터 정렬 문제로 인해 패리티 블록 버퍼의 범위를 벗어난 메모리를 읽는 Out-of-bounds Read가 발생할 수 있습니다.
💡 쉬운 설명
데이터 오류를 복구하는 과정에서 데이터의 경계선을 잘못 계산하여, 허용된 메모리 범위를 넘어 다른 데이터를 읽어버리는 문제입니다. 특정 설정과 메모리 부족 상황이 겹칠 때 발생할 수 있습니다.
🇺🇸 원문 (English)
In the Linux kernel, the following vulnerability has been resolved:
dm-verity-fec: fix reading parity bytes split across blocks (take 3)
fec_decode_bufs() assumes that the parity bytes of the first RS codeword
it decodes are never split across parity blocks.
This assumption is false. Consider v->fec->block_size == 4096 &&
v->fec->roots == 17 && fio->nbufs == 1, for example. In that case, each
call to fec_decode_bufs() consumes v->fec->roots * (fio->nbufs <<
DM_VERITY_FEC_BUF_RS_BITS) = 272 parity bytes.
Considering that the parity data for each message block starts on a
block boundary, the byte alignment in the parity data will iterate
through 272*i mod 4096 until the 3 parity blocks have been consumed. On
the 16th call (i=15), the alignment will be 4080 bytes into the first
block. Only 16 bytes remain in that block, but 17 parity bytes will be
needed. The code reads out-of-bounds from the parity block buffer.
Fortunately this doesn't normally happen, since it can occur only for
certain non-default values of fec_roots *and* when the maximum number of
buffers couldn't be allocated due to low memory. For example with
block_size=4096 only the following cases are affected:
fec_roots=17: nbufs in [1, 3, 5, 15]
fec_roots=19: nbufs in [1, 229]
fec_roots=21: nbufs in [1, 3, 5, 13, 15, 39, 65, 195]
fec_roots=23: nbufs in [1, 89]
Regardless, fix it by refactoring how the parity blocks are read.
📍 영향받는 시스템
특정 fec_roots 설정값과 메모리 부족 상황이 결합된 Linux 커널 버전
⚔️ 공격 벡터
메모리 부족을 유도하여 특정 조건의 dm-verity 설정을 트리거함으로써 발생 (로컬 공격 가능성)
🛡️ 대응 방법
패리티 블록을 읽는 방식을 리팩토링하여 경계 검사를 강화한 최신 Linux 커널로 업데이트하십시오.
🔧 검증 코드
출력된 커널 버전이 해당 취약점이 수정된 패치 버전 이후인지 확인하십시오.