Description
In the Linux kernel, the following vulnerability has been resolved: bpf: don't rewrite bpf_fastcall patterns entered by a jump mark_fastcall_pattern_for_call() must ensure that matched "spill; call; fill" instruction series is not interrupted by a jump. Otherwise the rewrite applied by bpf_remove_fastcall_spills_fills() is not sound. Record the instructions targeted by jumps in insn_aux_data[*].jump_target when the CFG is built and use this flag to stop growing a pattern at such an instruction. Jumps to the first spill are fine. Note that existing insn_aux_data[*].jmp_point field can't be reused, as it marks subprogram return instructions.
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
5b5f51bff1b66cedb62b5ba74a1878341204e057 to < a0cd1c3ac63504ba3c50c01a00c11812919b619faffected5b5f51bff1b66cedb62b5ba74a1878341204e057 to < c4d3bdb3ab211dcfad734b02e06fcb12adb4757faffected5b5f51bff1b66cedb62b5ba74a1878341204e057 to < 24adbc2c3bbe3385ce922587e1f8e837a68b3e25affected5b5f51bff1b66cedb62b5ba74a1878341204e057 to < 0b1c83dc3c4401cd7e846548f62e3caf3d06742eaffected
Linux Linux
Default version status: affected
6.12affected0 to < 6.12unaffected6.12.114 to ≤ 6.12.*unaffected6.18.57 to ≤ 6.18.*unaffected7.2.7 to ≤ 7.2.*unaffected7.3 to ≤ *unaffected