Description (CNA)
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 (CNA)
| Vendor / product | Versions |
|---|---|
| Linux / Linux | affected 5b5f51bff1b66cedb62b5ba74a1878341204e057 before a0cd1c3ac63504ba3c50c01a00c11812919b619f; affected 5b5f51bff1b66cedb62b5ba74a1878341204e057 before c4d3bdb3ab211dcfad734b02e06fcb12adb4757f; affected 5b5f51bff1b66cedb62b5ba74a1878341204e057 before 24adbc2c3bbe3385ce922587e1f8e837a68b3e25; affected 5b5f51bff1b66cedb62b5ba74a1878341204e057 before 0b1c83dc3c4401cd7e846548f62e3caf3d06742e |
| Linux / Linux | affected 6.12; unaffected 0 before 6.12; unaffected 6.12.114 through 6.12.*; unaffected 6.18.57 through 6.18.*; unaffected 7.2.7 through 7.2.*; unaffected 7.3 through * |
CWE
No CWE identifiers supplied.