Bug 1226790 (CVE-2024-38566) - VUL-0: CVE-2024-38566: kernel: bpf: fix verifier assumptions about socket->sk
Summary: VUL-0: CVE-2024-38566: kernel: bpf: fix verifier assumptions about socket->sk
Status: NEW
Alias: CVE-2024-38566
Product: SUSE Security Incidents
Classification: Novell Products
Component: Incidents (show other bugs)
Version: unspecified
Hardware: Other Other
: P3 - Medium : Normal
Target Milestone: ---
Assignee: Shung-Hsi Yu
QA Contact: Security Team bot
URL: https://smash.suse.de/issue/411368/
Whiteboard: CVSSv3.1:SUSE:CVE-2024-38566:5.5:(AV:...
Keywords:
Depends on:
Blocks:
 
Reported: 2024-06-21 15:04 UTC by SMASH SMASH
Modified: 2024-07-08 15:14 UTC (History)
2 users (show)

See Also:
Found By: Security Response Team
Services Priority:
Business Priority:
Blocker: ---
Marketing QA Status: ---
IT Deployment: ---

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
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