CVE-2024-38566

bpf: Fix verifier assumptions about socket->sk

State
Published
Severity
Not scored
Published
Jun 19, 2024
Updated
May 11, 2026
Reserved
Jun 18, 2024

Read the record on cve.org

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.

Scores

The record has no CVSS score.

Weaknesses

The record names no weakness.

Affected Products

ProductVersions
LinuxLinux
  • 6fcd486b3a0a628c41f12b3a7329a18a2c74b351 to before 39f8a29330f433000e716eefc4b9abda05b71a82Affected
  • 6fcd486b3a0a628c41f12b3a7329a18a2c74b351 to before 6f5ae91172a93abac9720ba94edf3ec8f4d7f24fAffected
  • 6fcd486b3a0a628c41f12b3a7329a18a2c74b351 to before c58ccdd2483a1d990748cdaf94206b5d5986a001Affected
  • 6fcd486b3a0a628c41f12b3a7329a18a2c74b351 to before 0db63c0b86e981a1e97d2596d64ceceba1a5470eAffected
LinuxLinux
  • 6.4Affected
  • before 6.4Not affected
  • 6.6.33 through 6.6.*Not affected
  • 6.8.12 through 6.8.*Not affected
  • 6.9.3 through 6.9.*Not affected
  • 6.10 and laterNot affected

References

Every record here comes from the CVE Program’s CVE List. © 1999–2026 The MITRE Corporation. CVE is a registered trademark of The MITRE Corporation. The records are reproduced under the CVE Program terms of use.