В ядре Linux устранена следующая уязвимость:
uprobes: исправлено разыменование нулевого указателя в hprobe_expire(). Формирование задачи, имеющей ожидающий uretprobe, может вызвать ошибку ядра. Разыменование NULL-указателя в пути clone():
ОШИБКА: разыменование нулевого указателя ядра, адрес: 0000000000000018.
Упс: 0002 [#1] СМП НОПТИ
RIP: 0010:hprobe_expire
CR2: 0000000000000018
Отслеживание вызова:
uprobe_copy_process
copy_process
kernel_clone
__x64_sys_clone
do_syscall_64
запись_SYSCALL_64_after_hwframe
Это было обнаружено на реальных хостах Мета-флота. У меня сложилось впечатление, что происходит вот что:
ЦП 1 ЦП 2 (отслеживаемая задача)
----- -------------------
нажмите uprobe,preparate_uretprobe():
hprobe АРЕНДА, количество рефералов >= 1
uprobe_unregister()
put_uprobe(): количество ссылок -> 0
вилка() -> dup_utask()
hprobe_expire (hprobe, правда)
try_get_uprobe() -> NULL
get_uprobe(NULL) <-- К сожалению
Используйте дополнительную ссылку только в том случае, если uprobe не равен NULL; НУЛЬ означает
его больше нет, и это правильное значение для возврата.
Показать оригинальное описание (EN)
In the Linux kernel, the following vulnerability has been resolved: uprobes: Fix NULL pointer dereference in hprobe_expire() Forking a task that has a pending uretprobe can oops the kernel with a NULL pointer dereference in the clone() path: BUG: kernel NULL pointer dereference, address: 0000000000000018 Oops: 0002 [#1] SMP NOPTI RIP: 0010:hprobe_expire CR2: 0000000000000018 Call Trace: uprobe_copy_process copy_process kernel_clone __x64_sys_clone do_syscall_64 entry_SYSCALL_64_after_hwframe This was found on real hosts on Meta fleet. I've got the impression that this is what is happening: CPU 1 CPU 2 (traced task) ----- ------------------- hit uprobe, prepare_uretprobe(): hprobe LEASED, refcount >= 1 uprobe_unregister() put_uprobe(): refcount -> 0 fork() -> dup_utask() hprobe_expire(hprobe, true) try_get_uprobe() -> NULL get_uprobe(NULL) <-- Oops Only take the extra reference when the uprobe is non-NULL; a NULL means it is gone and is the correct value to return.