🇰🇷 한글 설명
Linux 커널의 BPF percpu hashmap 구현에서 메모리 정렬(alignment) 문제로 인해 kmemleak이 잘못된 메모리 누수를 보고하는 취약점입니다. htab_elem_set_ptr() 함수에서 percpu 포인터를 저장할 때 8바이트 정렬을 준수하지 않아 kmemleak 스캔 과정에서 해당 객체를 탐지하지 못하는 현상이 발생합니다.
💡 쉬운 설명
컴퓨터가 메모리를 관리할 때 특정 규칙(8바이트 단위)에 따라 데이터를 찾아야 하는데, 데이터가 규칙에 어긋난 위치에 저장되어 메모리가 새고 있다고 착각하는 문제입니다. 실제 데이터 유실보다는 시스템의 메모리 진단 도구가 오류를 일으키는 소프트웨어 결함에 가깝습니다.
🇺🇸 원문 (English)
In the Linux kernel, the following vulnerability has been resolved:
bpf: Fix kmemleak warning for percpu hashmap
Vlad Poenaru reported the following kmemleak issue:
unreferenced object 0x606fd7c44ac8 (size 32):
backtrace (crc 0):
pcpu_alloc_noprof+0x730/0xeb0
bpf_map_alloc_percpu+0x69/0xc0
prealloc_init+0x9d/0x1b0
htab_map_alloc+0x363/0x510
map_create+0x215/0x3a0
__sys_bpf+0x16b/0x3e0
__x64_sys_bpf+0x18/0x20
do_syscall_64+0x7b/0x150
entry_SYSCALL_64_after_hwframe+0x4b/0x53
Further investigation shows the reason is due to not 8-byte aligned
store of percpu pointer in htab_elem_set_ptr():
*(void __percpu **)(l->key + key_size) = pptr;
Note that the whole htab_elem alignment is 8 (for x86_64). If the key_size
is 4, that means pptr is stored in a location which is 4 byte aligned but
not 8 byte aligned. In mm/kmemleak.c, scan_block() scans the memory based
on 8 byte stride, so it won't detect above pptr, hence reporting the memory
leak.
In htab_map_alloc(), we already have
htab->elem_size = sizeof(struct htab_elem) +
round_up(htab->map.key_size, 8);
if (percpu)
htab->elem_size += sizeof(void *);
else
htab->elem_size += round_up(htab->map.value_size, 8);
So storing pptr with 8-byte alignment won't cause any problem and can fix
kmemleak too.
The issue can be reproduced with bpf selftest as well:
1. Enable CONFIG_DEBUG_KMEMLEAK config
2. Add a getchar() before skel destroy in test_hash_map() in prog_tests/for_each.c.
The purpose is to keep map available so kmemleak can be detected.
3. run './test_progs -t for_each/hash_map &' and a kmemleak should be reported.
📍 영향받는 시스템
Linux Kernel (BPF percpu hashmap 기능을 사용하는 버전)
⚔️ 공격 벡터
Local (커널 메모리 진단 도구의 오탐을 유발하는 로컬 실행)
🛡️ 대응 방법
Linux 커널을 최신 보안 패치가 적용된 버전으로 업데이트하여 htab_map_alloc()의 정렬 로직을 수정해야 합니다.
🔧 검증 코드
출력된 커널 버전이 해당 취약점이 해결된 패치 버전 이후인지 확인합니다.