bpf: don't rewrite bpf_fastcall patterns entered by a jump
- Published
- Last modified
- Where the record stands: published, rejected by its publisher, or superseded by another id.What do these mean? →
- published
- Whether CISA lists it in its Known Exploited Vulnerabilities catalog: proof that attackers are using it.What do these mean? →
- Not listed in CISA KEV
- Fix
- Fixed in 6.12.114, 6.18.57, 7.2.7
- Whether working attack code is public (Exploit-DB, Metasploit, Nuclei or GitHub). Public code makes attacks easier.What do these mean? →
- None on Exploit-DB, Metasploit or GitHub
Summary
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.
Timeline
- CVE published
- Record last updated
Affected versions
- Linux Linux
From 5b5f51bff1b66cedb62b5ba74a1878341204e057 · fixed in a0cd1c3ac63504ba3c50c01a00c11812919b619f; From 5b5f51bff1b66cedb62b5ba74a1878341204e057 · fixed in c4d3bdb3ab211dcfad734b02e06fcb12adb4757f; From 5b5f51bff1b66cedb62b5ba74a1878341204e057 · fixed in 24adbc2c3bbe3385ce922587e1f8e837a68b3e25; From 5b5f51bff1b66cedb62b5ba74a1878341204e057 · fixed in 0b1c83dc3c4401cd7e846548f62e3caf3d06742e
- Linux Linux
6.12
- KernelLinux
From 6.12.0 · fixed in 6.12.114; From 6.13.0 · fixed in 6.18.57; From 6.19.0 · fixed in 7.2.7