Bug 1226790 (CVE-2024-38566)

Summary:	VUL-0: CVE-2024-38566: kernel: bpf: fix verifier assumptions about socket->sk
Product:	[Novell Products] SUSE Security Incidents	Reporter:	SMASH SMASH <smash_bz>
Component:	Incidents	Assignee:	Shung-Hsi Yu <shung-hsi.yu>
Status:	NEW ---	QA Contact:	Security Team bot <security-team>
Severity:	Normal
Priority:	P3 - Medium	CC:	camila.matos, gabriel.bertazi
Version:	unspecified
Target Milestone:	---
Hardware:	Other
OS:	Other
URL:	https://smash.suse.de/issue/411368/
Whiteboard:	CVSSv3.1:SUSE:CVE-2024-38566:5.5:(AV:L/AC:L/PR:L/UI:N/S:U/C:N/I:N/A:H)
Found By:	Security Response Team	Services Priority:
Business Priority:		Blocker:	---
Marketing QA Status:	---	IT Deployment:	---

Description SMASH SMASH 2024-06-21 15:04:19 UTC

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.

References:
http://web.nvd.nist.gov/view/vuln/detail?vulnId=CVE-2024-38566
https://git.kernel.org/pub/scm/linux/security/vulns.git/plain/cve/published/2024/CVE-2024-38566.mbox
https://git.kernel.org/stable/c/39f8a29330f433000e716eefc4b9abda05b71a82
https://git.kernel.org/stable/c/6f5ae91172a93abac9720ba94edf3ec8f4d7f24f
https://git.kernel.org/stable/c/c58ccdd2483a1d990748cdaf94206b5d5986a001
https://git.kernel.org/stable/c/0db63c0b86e981a1e97d2596d64ceceba1a5470e
https://www.cve.org/CVERecord?id=CVE-2024-38566
https://bugzilla.redhat.com/show_bug.cgi?id=2293427