Description
In the Linux kernel, the following vulnerability has been resolved: bpf, arm64: Fix off-by-one in check_imm signed range check check_imm(bits, imm) is used in the arm64 BPF JIT to verify that a branch displacement (in arm64 instruction units) fits into the signed N-bit immediate field of a B, B.cond or CBZ/CBNZ encoding before it is handed to the encoder. The macro currently tests for (imm > 0 && imm >> bits) || (imm < 0 && ~imm >> bits) which admits values in [-2^N, 2^N) — effectively a signed (N+1)-bit range. A signed N-bit field only holds [-2^(N-1), 2^(N-1)), so the check admits one extra bit of range on each side. In particular, for check_imm19(), values in [2^18, 2^19) slip past the check but do not fit into the 19-bit signed imm19 field of B.cond. aarch64_insn_encode_immediate() then masks the raw value into the 19-bit field, setting bit 18 (the sign bit) and flipping a forward branch into a backward one. Same class of issue exists for check_imm26() and the B/BL encoding. Shift by (bits - 1) instead of bits so the actual signed N-bit range is enforced.
CVSS breakdown
Affected products
- Linux / Linuxe54bcde3d69d40023ae77727213d14f920eb264a – a5dfeb3b61065039488342d43ae06d4729d955d4
- Linux / Linuxe54bcde3d69d40023ae77727213d14f920eb264a – 7fd3b41260c6120e7b60164afea5d961af6224f9
- Linux / Linuxe54bcde3d69d40023ae77727213d14f920eb264a – 6927f0d6794aa73318bbfa929f1ff6065b0620df
- Linux / Linuxe54bcde3d69d40023ae77727213d14f920eb264a – 1a113b5497297871699cd498b1b83542e0db7f15
- Linux / Linuxe54bcde3d69d40023ae77727213d14f920eb264a – fb74defa1cca1a73177c0c761e641332e4f979a3
- Linux / Linuxe54bcde3d69d40023ae77727213d14f920eb264a – 1dd8be4ec722ce54e4cace59f3a4ba658111b3ec
- Linux / Linux3.18 – 3.18
- Linux / Linux0 – 3.18
- Linux / Linux6.1.175 – 6.1.*
- Linux / Linux6.6.141 – 6.6.*
- Linux / Linux6.12.91 – 6.12.*
- Linux / Linux6.18.33 – 6.18.*
- Linux / Linux7.0.10 – 7.0.*
- Linux / Linux7.1 – *
References
- MISChttps://git.kernel.org/stable/c/a5dfeb3b61065039488342d43ae06d4729d955d4
- MISChttps://git.kernel.org/stable/c/7fd3b41260c6120e7b60164afea5d961af6224f9
- MISChttps://git.kernel.org/stable/c/6927f0d6794aa73318bbfa929f1ff6065b0620df
- MISChttps://git.kernel.org/stable/c/1a113b5497297871699cd498b1b83542e0db7f15
- MISChttps://git.kernel.org/stable/c/fb74defa1cca1a73177c0c761e641332e4f979a3
- MISChttps://git.kernel.org/stable/c/1dd8be4ec722ce54e4cace59f3a4ba658111b3ec