В ядре Linux устранена следующая уязвимость:
net: usb: cdc_ncm: добавить ndpoffset в проверку границ nframes NDP16
cdc_ncm_rx_verify_ndp16() проверяет, что заголовок NDP и его DPE
записи помещаются в skb. Первая проверка правильно учитывает
ндпоффсет:
if ((ndpoffset + sizeof(struct usb_cdc_ncm_ndp16)) > skb_in->len)
но вторая проверка опускает это:
если ((sizeof(struct usb_cdc_ncm_ndp16) +
ret * (sizeof(struct usb_cdc_ncm_dpe16))) > skb_in->len)
Это проверяет размер массива DPE на соответствие общей длине skb, как если бы
NDP были со смещением 0, а не со смещением ndpoffset. Когда НДП
размещенный ближе к концу NTB (большой wNdpIndex), записи DPE могут
выйти за пределы буфера данных skb, даже если проверка прошла.
cdc_ncm_rx_fixup() затем считывает внешнюю память при итерации
массив DPE.
Добавьте ndpoffset к проверке границ nframes и используйте struct_size_t() для
более четко выразить размер массива NDP-plus-DPE.
Показать оригинальное описание (EN)
In the Linux kernel, the following vulnerability has been resolved: net: usb: cdc_ncm: add ndpoffset to NDP16 nframes bounds check cdc_ncm_rx_verify_ndp16() validates that the NDP header and its DPE entries fit within the skb. The first check correctly accounts for ndpoffset: if ((ndpoffset + sizeof(struct usb_cdc_ncm_ndp16)) > skb_in->len) but the second check omits it: if ((sizeof(struct usb_cdc_ncm_ndp16) + ret * (sizeof(struct usb_cdc_ncm_dpe16))) > skb_in->len) This validates the DPE array size against the total skb length as if the NDP were at offset 0, rather than at ndpoffset. When the NDP is placed near the end of the NTB (large wNdpIndex), the DPE entries can extend past the skb data buffer even though the check passes. cdc_ncm_rx_fixup() then reads out-of-bounds memory when iterating the DPE array. Add ndpoffset to the nframes bounds check and use struct_size_t() to express the NDP-plus-DPE-array size more clearly.