Description
In the Linux kernel, the following vulnerability has been resolved: bpf: Validate BTF repeated field counts before expansion btf_parse_struct_metas() walks user-supplied BTF during BPF_BTF_LOAD, and btf_repeat_fields() expands repeatable fields from array elements into the fixed BTF_FIELDS_MAX scratch array used by btf_parse_fields(). The remaining-capacity check performs the expanded field count calculation in u32. A malformed BTF can wrap that calculation, causing the check to pass even when the expanded field count exceeds the scratch array capacity. The following memcpy() can then write past the end of the array. Use checked addition and multiplication before copying repeated fields and reject impossible counts.
Affected products
Version statuses are supplied by the assigning organization. Consult the original record for detailed ranges and platform conditions.
Linux Linux
Default version status: unaffected
797d73ee232dd1833dec4824bc53a22032e97c1c to < c5ff816d5f13900c3f1f3298cfcc61339e056e56affected797d73ee232dd1833dec4824bc53a22032e97c1c to < cd407de2ef5dc70f1970b343ffaa16186340fdfdaffected797d73ee232dd1833dec4824bc53a22032e97c1c to < ff77d013b737c0f77d925e2f2c59f0cf3d76bd35affected797d73ee232dd1833dec4824bc53a22032e97c1c to < b9452b594fd3aecbfd4aa0a6a1f741330a37dab7affected6f957d972feee9b385ea3ae6530310a84e55ba71affected6.11.6 to < 6.12affected
Linux Linux
Default version status: affected
6.12affected0 to < 6.12unaffected6.12.96 to ≤ 6.12.*unaffected6.18.39 to ≤ 6.18.*unaffected7.1.4 to ≤ 7.1.*unaffected7.2 to ≤ *unaffected