🇰🇷 한글 설명
Linux 커널의 ext4 파일 시스템에서 ext4_free_blocks()가 블록 범위를 검증한 뒤 ext4_mb_clear_bb()로 넘기기 전에 bigalloc 환경에서 범위가 조정될 수 있어, 손상된 파일 시스템에서 커널 BUG(패닉)가 발생할 수 있습니다. 해결책은 범위가 변경될 때마다 사용 전에 블록 범위를 다시 검증하는 것입니다.
💡 쉬운 설명
손상된 ext4 파일 시스템을 마운트하면 리눅스 커널이 강제로 멈출 수 있습니다. 이는 디스크 블록 범위 검사가 중간에 값이 바뀐 뒤에는 다시 이루어지지 않아 발생합니다.
🇺🇸 원문 (English)
In the Linux kernel, the following vulnerability has been resolved:
ext4: block range must be validated before use in ext4_mb_clear_bb()
Block range to free is validated in ext4_free_blocks() using
ext4_inode_block_valid() and then it's passed to ext4_mb_clear_bb().
However in some situations on bigalloc file system the range might be
adjusted after the validation in ext4_free_blocks() which can lead to
troubles on corrupted file systems such as one found by syzkaller that
resulted in the following BUG
kernel BUG at fs/ext4/ext4.h:3319!
PREEMPT SMP NOPTI
CPU: 28 PID: 4243 Comm: repro Kdump: loaded Not tainted 5.19.0-rc6+ #1
Hardware name: QEMU Standard PC (Q35 + ICH9, 2009), BIOS 1.15.0-1.fc35 04/01/2014
RIP: 0010:ext4_free_blocks+0x95e/0xa90
Call Trace:
<TASK>
? lock_timer_base+0x61/0x80
? __es_remove_extent+0x5a/0x760
? __mod_timer+0x256/0x380
? ext4_ind_truncate_ensure_credits+0x90/0x220
ext4_clear_blocks+0x107/0x1b0
ext4_free_data+0x15b/0x170
ext4_ind_truncate+0x214/0x2c0
? _raw_spin_unlock+0x15/0x30
? ext4_discard_preallocations+0x15a/0x410
? ext4_journal_check_start+0xe/0x90
? __ext4_journal_start_sb+0x2f/0x110
ext4_truncate+0x1b5/0x460
? __ext4_journal_start_sb+0x2f/0x110
ext4_evict_inode+0x2b4/0x6f0
evict+0xd0/0x1d0
ext4_enable_quotas+0x11f/0x1f0
ext4_orphan_cleanup+0x3de/0x430
? proc_create_seq_private+0x43/0x50
ext4_fill_super+0x295f/0x3ae0
? snprintf+0x39/0x40
? sget_fc+0x19c/0x330
? ext4_reconfigure+0x850/0x850
get_tree_bdev+0x16d/0x260
vfs_get_tree+0x25/0xb0
path_mount+0x431/0xa70
__x64_sys_mount+0xe2/0x120
do_syscall_64+0x5b/0x80
? do_user_addr_fault+0x1e2/0x670
? exc_page_fault+0x70/0x170
entry_SYSCALL_64_after_hwframe+0x46/0xb0
RIP: 0033:0x7fdf4e512ace
Fix it by making sure that the block range is properly validated before
used every time it changes in ext4_free_blocks() or ext4_mb_clear_bb().
📍 영향받는 시스템
패치가 적용되지 않은 Linux 커널 5.x 계열(bigalloc 기능을 사용하는 ext4 파일 시스템 환경)
⚔️ 공격 벡터
공격자가 손상된 ext4 이미지를 만들어 시스템에 마운트하게 하면 커널 BUG로 서비스 거부(DoS)를 일으킬 수 있습니다.
🛡️ 대응 방법
배포판 제공 커널을 보안 업데이트된 최신 버전으로 업그레이드하고 재부팅합니다.
🔧 검증 코드
출력된 커널 버전이 배포판의 보안 패치 반영 버전(예: 해당 CVE 수정이 포함된 최신 릴리스)보다 최신인지 배포판 보안 공지와 비교해 확인합니다.
uname -r && dpkg -l 'linux-image*' 2>/dev/null | grep '^ii' | head -5