Description
In the Linux kernel, the following vulnerability has been resolved:
bpf: Fix verifier assumptions about socket->sk
The verifier assumes that 'sk' field in 'struct socket' is valid and non-NULL when 'socket' pointer itself is trusted and non-NULL. That may not be the case when socket was just created and passed to LSM socket_accept hook. Fix this verifier assumption and adjust tests.
Metrics
CVSS 3.1 5.5/10
CVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:N/I:H/A:NAffected software
| Vendor | Product | Versions |
|---|---|---|
| Linux | Linux | >= 6fcd486b3a0a628c41f12b3a7329a18a2c74b351, < 39f8a29330f433000e716eefc4b9abda05b71a82; >= 6fcd486b3a0a628c41f12b3a7329a18a2c74b351, < 6f5ae91172a93abac9720ba94edf3ec8f4d7f24f; >= 6fcd486b3a0a628c41f12b3a7329a18a2c74b351, < c58ccdd2483a1d990748cdaf94206b5d5986a001; >= 6fcd486b3a0a628c41f12b3a7329a18a2c74b351, < 0db63c0b86e981a1e97d2596d64ceceba1a5470e |
| Linux | Linux | 6.4 |
References
- https://git.kernel.org/stable/c/0db63c0b86e981a1e97d2596d64ceceba1a5470ePatch
- https://git.kernel.org/stable/c/39f8a29330f433000e716eefc4b9abda05b71a82Patch
- https://git.kernel.org/stable/c/6f5ae91172a93abac9720ba94edf3ec8f4d7f24fPatch
- https://git.kernel.org/stable/c/c58ccdd2483a1d990748cdaf94206b5d5986a001Patch
- https://git.kernel.org/stable/c/0db63c0b86e981a1e97d2596d64ceceba1a5470ePatch
- https://git.kernel.org/stable/c/39f8a29330f433000e716eefc4b9abda05b71a82Patch
- https://git.kernel.org/stable/c/6f5ae91172a93abac9720ba94edf3ec8f4d7f24fPatch
- https://git.kernel.org/stable/c/c58ccdd2483a1d990748cdaf94206b5d5986a001Patch
Timeline
- Published
- Jun 19, 2024
- Last modified
- Jun 17, 2026
- NVD status
- Analyzed