В ядре Linux устранена следующая уязвимость:
nvme-tcp: отклонить чтение, при котором было передано слишком мало байтов
nvme_tcp_recv_data() завершает запрос после того, как текущий PDU C2HData
было израсходовано. Ничто не сравнивает общее количество полученных байтов с
длина, которую запрашивала команда: struct nvme_tcp_request не имеет
счетчик на стороне приема, очередь->data_remaining для каждой очереди и
blk_mq_end_request() завершается для blk_rq_bytes(rq) безоговорочно
без какой-либо остаточной концепции где-либо выше. Таким образом, контроллер может ответить на чтение 4096 байт 512 байтами и
сообщить об этом как о полном прочтении; пользовательское пространство затем получает 4096 байт
какие 3584 — это то, что уже было на странице.
Я воспроизвел это с помощью
тестовая мишень. Подсчитайте полученные байты и откажитесь от успешного чтения,
счетчик не совпадает по двум путям NVME_TCP_F_DATA_SUCCESS и в
nvme_tcp_process_nvme_cqe(). Проверка успеха сдвигает req->status вправо
на единицу, потому что драйвер сохраняет там значение провода и сдвигает его на
завершение, поэтому проверка должна видеть то, что увидит путь завершения.
Проверяется только REQ_OP_READ, потому что там длина берется из
сектора, на которые распространяется запрос; команда passthrough создается ее
отправитель, который выбирает и команду, и буфер, поэтому ядро имеет
не с чем сравнивать.
Показать оригинальное описание (EN)
In the Linux kernel, the following vulnerability has been resolved: nvme-tcp: reject a read that transferred too few bytes nvme_tcp_recv_data() completes a request once the current C2HData PDU has been consumed. Nothing compares the total bytes received against the length the command asked for: struct nvme_tcp_request has no receive-side counter, queue->data_remaining is per queue, and blk_mq_end_request() completes for blk_rq_bytes(rq) unconditionally with no residual concept anywhere above. A controller can therefore answer a 4096-byte read with 512 bytes and have it reported as a complete read; user space then gets 4096 bytes of which 3584 are whatever was already in the page. I reproduced that with a test target. Count the bytes received and refuse to complete a successful read whose count does not match, at the two NVME_TCP_F_DATA_SUCCESS paths and in nvme_tcp_process_nvme_cqe(). The success test shifts req->status right by one, because the driver keeps the wire value there and shifts it on completion, so the check must see what the completion path will see. Only REQ_OP_READ is checked, because there the length comes from the sectors the request covers; a passthrough command is built by its submitter, which picks both command and buffer, so the kernel has nothing to compare against.
Характеристики атаки
Последствия
Строка CVSS v3.1