В ядре Linux устранена следующая уязвимость:
Accel/Rocket: исправлено разыменование NULL и целочисленное переполнение в Rocket_job_push().
Rocket_job_push() выделяет временный массив для хранения всех входных данных и
выходные указатели объектов GEM:
bos = kvmalloc_array(job->in_bo_count + job->out_bo_count,
sizeof(void *), GFP_KERNEL);
memcpy(bos, job->in_bos, job->in_bo_count * sizeof(void *));
memcpy(&bos[job->in_bo_count], job->out_bos, ...);
Существуют две ошибки:
1. Отсутствует проверка NULL: если kvmalloc_array() завершается неудачей, bos имеет значение NULL и
последующий memcpy() разыменовывает его, в результате чего ядро становится NULL
разыменование указателя.
2. Целочисленное переполнение: in_bo_count и out_bo_count оба имеют значение u32, установлено
непосредственно из пользовательского пространства, предоставленного in_bo_handle_count, и
out_bo_handle_count без предварительной проверки.
Их сумма вычисляется
в арифметике u32 и может переноситься на меньшее значение, в результате чего
счетчик выделения, передаваемый в kvmalloc_array(), должен быть меньше, чем
предназначено. Последующие виды использования по-прежнему действуют в соответствии с первоначальными значениями, когда
копирование и блокировка объектов, что может привести к выходу за пределы доступа
во временном массиве. Исправьте это, используя check_add_overflow() для обнаружения переполнения счетчика перед
выделение и добавление проверки NULL на результат выделения.
Показать оригинальное описание (EN)
In the Linux kernel, the following vulnerability has been resolved: accel/rocket: fix NULL dereference and integer overflow in rocket_job_push() rocket_job_push() allocates a temporary array to hold all input and output GEM object pointers: bos = kvmalloc_array(job->in_bo_count + job->out_bo_count, sizeof(void *), GFP_KERNEL); memcpy(bos, job->in_bos, job->in_bo_count * sizeof(void *)); memcpy(&bos[job->in_bo_count], job->out_bos, ...); Two bugs exist: 1. Missing NULL check: if kvmalloc_array() fails, bos is NULL and the subsequent memcpy() dereferences it, causing a kernel NULL pointer dereference. 2. Integer overflow: in_bo_count and out_bo_count are both u32, set directly from userspace-supplied in_bo_handle_count and out_bo_handle_count with no prior validation. Their sum is computed in u32 arithmetic and can wrap to a smaller value, causing the allocation count passed to kvmalloc_array() to be smaller than intended. Subsequent uses still operate on the original counts when copying and locking objects, which may lead to out-of-bounds accesses on the temporary array. Fix by using check_add_overflow() to detect count overflow before the allocation, and adding a NULL check on the allocation result.