Description
In the Linux kernel, the following vulnerability has been resolved: bpf: Mark NULL kptr stores precise check_map_kptr_access() permits a scalar store into an untrusted kptr field only when the register is known to contain zero. Unlike other verifier checks whose outcome depends on a scalar value, it does not mark that register precise. A state checkpoint reached with an imprecise zero can therefore prune a second path that reaches the store with an arbitrary nonzero scalar. The program can write attacker-controlled bits into the kptr field and load them back as a PTR_TO_BTF_ID. Call mark_chain_precision() before accepting a known-zero register. This forces state equivalence to compare its scalar range and makes the verifier visit and reject a path carrying a nonzero value.
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
61df10c7799e27807ad5e459eec9d77cddf8bf45 to < 86a3171c90bfc35a54e9d83cd197ca0d72d2f4e4affected61df10c7799e27807ad5e459eec9d77cddf8bf45 to < b8b98d3d37908402ff63515fa4d7574235436ea8affected61df10c7799e27807ad5e459eec9d77cddf8bf45 to < bb667eb575c906f24c707986541a99424c5b07eaaffected61df10c7799e27807ad5e459eec9d77cddf8bf45 to < 86168208737bdd267d92d855d453d1d2f840df19affected61df10c7799e27807ad5e459eec9d77cddf8bf45 to < ecdc5043794c9184aa8e6c814603899479c46b35affectedb5a8069835e5236824a84281592d29f859b33153affected5.18.18 to < 5.19affected
Linux Linux
Default version status: affected
5.19affected0 to < 5.19unaffected6.6.160 to ≤ 6.6.*unaffected6.12.114 to ≤ 6.12.*unaffected6.18.57 to ≤ 6.18.*unaffected7.2.7 to ≤ 7.2.*unaffected7.3 to ≤ *unaffected
References
- https://git.kernel.org/stable/c/86a3171c90bfc35a54e9d83cd197ca0d72d2f4e4 ↗
- https://git.kernel.org/stable/c/b8b98d3d37908402ff63515fa4d7574235436ea8 ↗
- https://git.kernel.org/stable/c/bb667eb575c906f24c707986541a99424c5b07ea ↗
- https://git.kernel.org/stable/c/86168208737bdd267d92d855d453d1d2f840df19 ↗
- https://git.kernel.org/stable/c/ecdc5043794c9184aa8e6c814603899479c46b35 ↗