Description (CNA)
In the Linux kernel, the following vulnerability has been resolved: bpf: mark a NULL call argument precise check_func_arg() allows bpf_register_is_null() for nullable arguments w/o marking the underlying scalar register precise. Hence a checkpoint created on such a path would prune against arbitrary scalar value. check_helper_call() enforces second parameter of the bpf_get_local_storage() to be zero, w/o marking the underlying scalar register precise. Hence a checkpoint created on such a path would prune against arbitrary scalar value. Grouping these two into one patch, as they share the same fixes tag.
Affected (CNA)
| Vendor / product | Versions |
|---|---|
| Linux / Linux | affected b5dc0163d8fd78e64a7e21f309cf932fda34353e before febbb66e682d8328f7c5bcbdd5e4291abab2e858; affected b5dc0163d8fd78e64a7e21f309cf932fda34353e before 627089c278df58749f25686c6a3caf7e181b5951; affected b5dc0163d8fd78e64a7e21f309cf932fda34353e before b1fe6379e401b8ce0f561cb4d84af2b70b4343c3; affected b5dc0163d8fd78e64a7e21f309cf932fda34353e before 69a9ad004ccf5d45e534c7d503f47f643abe64b7; affected b5dc0163d8fd78e64a7e21f309cf932fda34353e before 1a3a10b030c96ea88868ccc060a16827c01eaa5a |
| Linux / Linux | affected 5.3; unaffected 0 before 5.3; unaffected 6.6.160 through 6.6.*; 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.
References
- https://git.kernel.org/stable/c/febbb66e682d8328f7c5bcbdd5e4291abab2e858
- https://git.kernel.org/stable/c/627089c278df58749f25686c6a3caf7e181b5951
- https://git.kernel.org/stable/c/b1fe6379e401b8ce0f561cb4d84af2b70b4343c3
- https://git.kernel.org/stable/c/69a9ad004ccf5d45e534c7d503f47f643abe64b7
- https://git.kernel.org/stable/c/1a3a10b030c96ea88868ccc060a16827c01eaa5a